Насыщенная модель

От / / Оставьте комментарий

Насыщенная модель Насыщенная модель M реализует столько полных типов, сколько «разумно ожидать» с учетом ее размера.  Сверхмощная модель гиперреальности является […]

Mathematical logic, Model theory, Nonstandard analysis, Математическая логика, Нестандартный анализ, Теория моделей

Насыщенная модель

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

Полный текст статьи:

Насыщенная модель — Википедия

Похожие статьи:

  1. Ненасыщенные жиры Ненасыщенные жиры Классификация жиров Ненасыщенные жиры содержат двойные связи в углеродной цепи.  Мононенасыщенные жиры имеют одну...
  2. Насыщенная мера Насыщенная мера Мера в математике называется насыщенной, если каждое локально измеримое множество также поддается измерению.  Множество...
  3. Краткосрочная модель Модель краткосрочных ставок Обзор моделей процентных ставок Модели процентных ставок используются для прогнозирования краткосрочных процентных ставок. ...
  4. Качество пара Качество пара Качество пара — массовая доля пара в насыщенной смеси.  Качество пара — интенсивное свойство,...
  5. Модель данных Модель данных Определение модели данных Модель данных — это абстрактное представление данных, которое описывает их структуру...
  6. Стохастическая блочная модель Стохастическая блочная модель Основы стохастической блочной модели Стохастическая блочная модель — это вероятностная модель для описания...
  7. Модель IS–LM Модель IS–LM Основы модели IS-LM Модель IS-LM — это макроэкономическая модель, которая описывает взаимосвязь между совокупным...
  8. Модель водопада Модель водопада История и развитие модели водопада Модель водопада зародилась в обрабатывающей промышленности и строительстве.  В...
  9. Модель ввода-вывода Модель «затраты–выпуск» История и развитие модели «Затраты-выпуск» Модель «Затраты-выпуск» была разработана Василием Леонтьевым в 1930-х годах. ...
  10. Информационная модель Информационная модель Основы информационного моделирования Информационное моделирование (ИМ) — это процесс создания моделей данных для описания...
  11. Модель Изинга Модель Ising Определение и история модели Изинга Модель Изинга — это статистическая модель магнетика, описывающая взаимодействие...
  12. V-модель V-образная модель Определение и история V-образной модели V-образная модель — это метод управления проектами, разработанный в...
  13. Внутренняя модель (управление двигателем) Внутренняя модель (управление двигателем) Определение внутренней модели Внутренняя модель в теории управления — это процесс, моделирующий...
  14. Модель актера Модель актера Определение и история модели актора Модель актора — это парадигма программирования, которая позволяет описывать...
  15. Внутренняя модель Внутренняя модель Внутренняя модель теории T является подструктурой модели M, которая одновременно является моделью для T...
  16. Модель базы данных Модель базы данных Основы реляционной модели данных Реляционная модель данных — это способ организации данных в...

Оставьте комментарий

Прокрутить вверх