Jump to content

Омега-категориальная теория

В математической логике омега -категориальная теория — это теория , имеющая ровно одну счетную бесконечную модель с точностью до изоморфизма . Омега-категоричность – это частный случай κ = = ω κ-категоричности , а омега-категоричные теории также называются ω-категоричными . Это понятие наиболее важно для счетных теорий первого порядка .

Эквивалентные условия омега-категоричности

[ редактировать ]

Многие условия теории эквивалентны свойству омега-категоричности. В 1959 году Эрвин Энгелер , Чеслав Рылль-Нардзевский и Ларс Свенониус доказали несколько независимых результатов. [1] Несмотря на это, в литературе до сих пор широко упоминается теорема Рилла-Нардзевского как название этих условий. Условия, включенные в теорему, различаются у разных авторов. [2] [3]

Для счетной полной первого порядка теории T с бесконечными моделями следующие условия эквивалентны:

  • Теория Т является омега-категоричной.
  • Каждая счетная модель T имеет олигоморфную группу автоморфизмов имеется конечное число орбит). (т. е. на M н для каждого n ).
  • Некоторая счетная модель T имеет олигоморфную группу автоморфизмов. [4]
  • Теория T имеет модель, которая для каждого натурального числа n реализует лишь конечное число n -типов, т. е. пространство Стоуна Sn ) конечно ( T .
  • натурального числа n Для каждого T имеет лишь конечное число n -типов.
  • Для каждого натурального числа n каждый n -тип изолирован .
  • Для каждого натурального числа n с точностью до эквивалентности по модулю T существует только конечное число формул с n свободными переменными, другими словами, для каждого n n - я группы алгебра Линденбаума–Тарского T конечна .
  • Каждая модель T является атомарной .
  • Любая счетная модель T атомарна.
  • Теория T имеет счетную атомную и насыщенную модель .
  • Теория T имеет насыщенную простую модель .

Теория любой счетно бесконечной структуры, однородной над конечным реляционным языком, является омега-категоричной. [5] В более общем смысле, теория предела Фрессе любого равномерно локально конечного класса Фрессе является омега-категоричной. [6] Следовательно, следующие теории являются омега-категоричными:

Примечания

[ редактировать ]
  1. ^ Рами Гроссберг, Хосе Иовино и Оливье Лессманн, Букварь простых теорий
  2. ^ Ходжес, Теория моделей, с. 341.
  3. ^ Ротмалер, с. 200.
  4. ^ Кэмерон (1990) стр.30
  5. ^ Макферсон, с. 1607.
  6. ^ Ходжес, Теория моделей, Thm. 7.4.1.
  • Кэмерон, Питер Дж. (1990), Олигоморфные группы перестановок , Серия лекций Лондонского математического общества, том. 152, Кембридж: Издательство Кембриджского университета, ISBN  0-521-38836-8 , Збл   0813.20002
  • Чанг, Чен Чунг; Кейслер, Х. Джером (1989) [1973], Теория моделей , Elsevier, ISBN  978-0-7204-0692-4
  • Ходжес, Уилфрид (1993), Теория моделей , Кембридж: Издательство Кембриджского университета, ISBN  978-0-521-30442-9
  • Ходжес, Уилфрид (1997), Более короткая теория модели , Кембридж: Издательство Кембриджского университета, ISBN  978-0-521-58713-6
  • Макферсон, Дугалд (2011), «Обзор однородных структур», Discrete Mathematics , 311 (15): 1599–1634, doi : 10.1016/j.disc.2011.01.024 , MR   2800979
  • Пуаза, Бруно (2000), Курс теории моделей: введение в современную математическую логику , Берлин, Нью-Йорк: Springer-Verlag, ISBN  978-0-387-98655-5
  • Ротмалер, Филипп (2000), Введение в теорию моделей , Нью-Йорк: Тейлор и Фрэнсис, ISBN  978-90-5699-313-9


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: fda629ad9cfe2f094834d8d07aad76f4__1710843300
URL1:https://arc.ask3.ru/arc/aa/fd/f4/fda629ad9cfe2f094834d8d07aad76f4.html
Заголовок, (Title) документа по адресу, URL1:
Omega-categorical theory - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)