Омега-категориялық теория - Omega-categorical theory - Wikipedia

Жылы математикалық логика, an омега-категориялық теория Бұл теория дәл бар шексіз модель дейін изоморфизм. Омега-категориялық - бұл ерекше жағдай κ = = ω κ-категориялылық, және омега-категориялық теориялар деп те аталады ω-категориялық. Бұл ұғым есептелетіндер үшін ең маңызды бірінші ретті теориялар.

Омега-категориялылықтың эквивалентті шарттары

Теориядағы көптеген шарттар омега-категориялық қасиетіне тең. 1959 жылы Эрвин Энгелер, Чеслав Рыль-Нарджевский және Ларс Свенониус, бірнеше өз бетінше дәлелдеді.[1] Осыған қарамастан, әдебиетте Рилл-Нарджевский теоремасы осы шарттардың атауы ретінде кеңінен қолданылады. Теоремаға енгізілген шарттар авторлар арасында әр түрлі.[2][3]

Есептеуге болатын толық бірінші ретті теория Т шексіз модельдермен мыналар баламалы:

  • Теория Т омега-категориялық болып табылады.
  • Әрбір есептелетін модель Т бар олигоморфты автоморфизм тобы.
  • Кейбір есептелетін модельдер Т олигоморфты автоморфизм тобы бар.[4]
  • Теория Т әр натурал санға арналған моделі бар n, тек қана көптеген жүзеге асырады n-түрлері, яғни Тас кеңістігі Sn(Т) ақырлы
  • Әрбір табиғи сан үшін n, Т шектеулі ғана көп n- типтер.
  • Әрбір табиғи сан үшін n, әрқайсысы n- түрі оқшауланған.
  • Әрбір табиғи сан үшін n, эквиваленттілік модуліне дейін Т бар көптеген формулалар ғана бар n еркін айнымалылар, басқаша айтқанда, әрқайсысы үшін n, nмың Линденбаум – Тарский алгебрасы туралы Т ақырлы.
  • Әр модель Т болып табылады атомдық.
  • Әрбір есептелетін модель Т атомдық болып табылады.
  • Теория Т есептелетін атомға ие және қаныққан модель.
  • Теория Т қаныққан қарапайым модель.

Мысалдар

Шектелген реляциялық тілге қарағанда біртектес кез-келген шексіз құрылым теориясы омега-категориялық болып табылады.[5] Демек, келесі теориялар омега-категориялық болып табылады:

  • Соңғы нүктесіз тығыз сызықтық реттіліктер теориясы
  • Теориясы Радо график
  • Кез келгенге шексіз сызықтық кеңістіктер теориясы ақырлы өріс

Ескертулер

  1. ^ Рами Гроссберг, Хосе Иовино және Оливье Лессманн, Қарапайым теориялардың негізі
  2. ^ Ходжес, модель теориясы, б. 341.
  3. ^ Ротмальер, б. 200.
  4. ^ Кэмерон (1990) б.30
  5. ^ Макферсон, б. 1607.

Әдебиеттер тізімі

  • Кэмерон, Питер Дж. (1990), Олигоморфты ауыстыру топтары, Лондон математикалық қоғамы Дәрістер сериясы, 152, Кембридж: Cambridge University Press, ISBN  0-521-38836-8, Zbl  0813.20002
  • Чан, Чен Чун; Кейслер, Х. Джером (1989) [1973], Үлгілік теория, Elsevier, ISBN  978-0-7204-0692-4
  • Ходжес, Уилфрид (1993), Модельдік теория, Кембридж: Cambridge University Press, ISBN  978-0-521-30442-9
  • Ходжес, Уилфрид (1997), Қысқаша модель теориясы, Кембридж: Cambridge University Press, ISBN  978-0-521-58713-6
  • Макферсон, Дюгальд (2011), «Біртектес құрылымдарды зерттеу», Дискретті математика, 311 (15): 1599–1634, дои:10.1016 / j.disc.2011.01.024, МЫРЗА  2800979
  • Пойзат, Бруно (2000), Модельдік теория курсы: қазіргі математикалық логикаға кіріспе, Берлин, Нью-Йорк: Спрингер-Верлаг, ISBN  978-0-387-98655-5
  • Ротмалер, Филипп (2000), Модельдік теорияға кіріспе, Нью-Йорк: Тейлор және Фрэнсис, ISBN  978-90-5699-313-9