«ИЗВЕСТИЯ ИРКУТСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА». СЕРИЯ «МАТЕМАТИКА»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

Список выпусков > Серия «Математика». 2010. Том 4

О предельных моделях над типом в классе w-стабильных теорий

Автор(ы)
С. В. Судоплатов
Аннотация

Доказывается существование всех возможных значений числа предельных моделей над типом в классе w-стабильных теорий.

Ключевые слова
предельная модель, w-стабильная теория.
УДК
510.67
Литература

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.


Полная версия (русская)