|
Алгебра и логика, 1977, том 16, номер 4, страницы 443–456
(Mi al1572)
|
|
|
|
О числе моделей в of $L_{\infty ,\omega_{1}}$-теориях. II
Е. А. Палютин
Аннотация:
При предположении аксиомы конструктивности Гёделя доказано, что полные $L_{\infty ,\omega_{1}}$-теории, имеющие две неизоморфные модели мощности $\omega_1$, имеют $\omega_2$ попарно неизоморфных моделей мощности $\omega_1$.
Поступило: 18.05.1977
Образец цитирования:
Е. А. Палютин, “О числе моделей в of $L_{\infty ,\omega_{1}}$-теориях. II”, Алгебра и логика, 16:4 (1977), 443–456
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1572 https://www.mathnet.ru/rus/al/v16/i4/p443
|
|