|
Алгебра и логика, 1975, том 14, номер 3, страницы 345–353
(Mi al1475)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О генерических моделях
С. А. Чихачёв
Аннотация:
Полная теория $T$ тогда и только тогда является форсинг-полной, когда для
любых $n=1,2,\ldots$ и совместной с $T$ формулы $\varphi(x_1,\ldots,x_n)$
найдется совместная с $T$ $\exists$-формула $\tau(x_1,\ldots,x_n)$ такая, что формула
$(\forall x_1,\ldots,x_n)(\tau(x_1,\ldots,x_n)\rightarrow\varphi(x_1,\ldots,x_n))$ принадлежит $T$. Если $T$ —
полная и форсинг-полная теория мощности $\aleph_1$, а булева алгебра классов
формул с $n$ свободными переменными, эквивалентных относительно $T$,
является атомной для $n=1,2,\ldots$, то $T$ имеет генерическую
модель. Приведен также пример полной и форсинг-полной теории, не имеющей
генерических моделей.
Поступило: 05.03.1975
Образец цитирования:
С. А. Чихачёв, “О генерических моделях”, Алгебра и логика, 14:3 (1975), 345–353
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1475 https://www.mathnet.ru/rus/al/v14/i3/p345
|
|