|
Алгебра и логика, 1981, том 20, номер 1, страницы 69–91
(Mi al1716)
|
|
|
|
О числе счетных моделей счетной полной теории
Т. Г. Мустафин
Аннотация:
Тип $q\in S^n(\varnothing)$ называется суперстабильным, если $\forall \lambda\geqslant 2^\omega\,\forall A(|A|\leqslant \lambda\Rightarrow |\{p\in S^n(A)\mid p\supset q\}|\leqslant\lambda)$. Доказано, что если теория $T$ имеет хотя бы один неглавный суперстабильный тип из $\bigcup_{n<\omega}S^n(\varnothing)$, то $T$ имеет бесконечное число попарно неизоморфных счетных моделей.
Поступило: 29.11.1979
Образец цитирования:
Т. Г. Мустафин, “О числе счетных моделей счетной полной теории”, Алгебра и логика, 20:1 (1981), 69–91
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1716 https://www.mathnet.ru/rus/al/v20/i1/p69
|
Статистика просмотров: |
Страница аннотации: | 48 | PDF полного текста: | 43 |
|