Насыщенная модель
- Насыщенная модель M реализует столько полных типов, сколько «разумно ожидать» с учетом ее размера.
- Сверхмощная модель гиперреальности является ℵ1-насыщенной, что означает непустое пересечение нисходящих вложенных последовательностей внутренних множеств.
- Модель M называется κ-насыщенной, если для всех подмножеств A ∈ M мощностью меньше κ модель M реализует все полные типы над A.
- Модель M называется насыщенной, если она |M|-насыщена, где |M| обозначает мощность M.
- Слабая насыщенность (реализованы все полные типы языка) оказывается слишком слабым представлением, так как многие структуры содержат элементы, которые не поддаются определению.
- Насыщенные модели существуют для определенных теорий и мощностей, таких как Q и счетный случайный граф.
- Понятие насыщенной модели двойственно понятию простой модели, и любая «разумно малая» модель T элементарно встроена в насыщенную модель.
- Для λ-стабильных теорий существуют насыщенные модели мощности λ.
Полный текст статьи: