Журналы
Серии
Начальная страница
Конечная страница
УДК
Раздел
Файл Скачать Изменить файл
Название RU
Авторы RU
Аннотация RU <p>Доказывается существование всех возможных значений числа предельных моделей над типом в классе w-стабильных теорий.</p>
Ключевые слова RU
Литература RU 1. Справочная книга по математической логике / под ред. Дж. Барвайса. – М. : Наука, 1982. – Ч. 1 : Теория моделей. – 392 с. 2. Судоплатов С. В. О мощных типах в малых теориях / С. В. Судоплатов // Сиб. мат. журн. – 1990. – Т. 31, № 4. – C. 118–128. 3. Судоплатов С. В. Гиперграфы простых моделей и распределения счётных моделей малых теорий / С. В. Судоплатов // Фундаментальная и прикладная математика. – 2009. – Т. 15, № 7. – С. 179–203. 4. Судоплатов С. В. Проблема Лахлана / С. В. Судоплатов. – Новосибирск : Изд-во НГТУ, 2009. – 336 с. 5. Судоплатов С. В. Дискретная математика : учебник / С. В. Судоплатов, Е. В. Овчинникова. – Новосибирск : Изд-во НГТУ, 2010. – 280 с. 6. Судоплатов С. В. Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов, Е. В. Овчинникова. – Новосибирск : Изд-во НГТУ, 2010. – 256 с. 7. Lachlan A. H. On the number of countable models of a countable superstable theory / A. H. Lachlan // Proc. Int. Cong. Logic, Methodology and Philosophy of Science. – Amsterdam : North-Holland, 1973. – P. 45–56. 8. Pillay A. A note on one-based theories / A. Pillay. – Notre Dame : University of Notre Dame, 1989. – 5 p. – (Preprint). 9. Shelah S. A proof of Vaught’s conjecture for !-stable theories / S. Shelah, L. Harrington, M. Makkai // Israel J. Math. – 1984. – Vol. 49, N 1–3. – P. 259–280. 10. Shelah S. Classification theory and the number of non-isomorphic models / S. Shelah. – Amsterdam : North-Holland, 1990. – 705 p. 11. Wagner F. O. Simple theories / F. O. Wagner. – Dordrecht ; Boston ; London : Kluwer Academic Publishers, 2000. – 260 p.
Название EN
Авторы EN
Аннотация EN <p>An existence of all possible numbers of limit models over types in the class of !-stable theories is proved.</p>
Ключевые слова EN
Литература EN