|
Математическая логика, алгебра и теория чисел
Finding $2^{\aleph_0}$ countable models for ordered theories
B. Baizhanova, J. T. Baldwinb, T. Zambarnayaca a Institute of Mathematics and Mathematical Modeling,
125 Pushkin St.,
050010, Almaty, Kazakhstan
b University of Illinois at Chicago,
1200 West Harrison St.,
60607, Chicago, Illinois
c Al-Farabi Kazakh National University,
71 al-Farabi Ave.,
050040, Almaty, Kazakhstan
Аннотация:
The article is focused on finding conditions that imply small theories of linear order have the maximum number of countable non-isomorphic models. We introduce the notion of extreme triviality of non-principal types, and prove that a theory of order, which has such a type, has $2^{\aleph_0}$ countable non-isomorphic models.
Ключевые слова:
countable model, linear order, omitting types.
Поступила 11 мая 2018 г., опубликована 14 июня 2018 г.
Образец цитирования:
B. Baizhanov, J. T. Baldwin, T. Zambarnaya, “Finding $2^{\aleph_0}$ countable models for ordered theories”, Сиб. электрон. матем. изв., 15 (2018), 719–727
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr948 https://www.mathnet.ru/rus/semr/v15/p719
|
Статистика просмотров: |
Страница аннотации: | 191 | PDF полного текста: | 57 | Список литературы: | 23 |
|