RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2018, том 15, страницы 719–727 (Mi semr948)

Математическая логика, алгебра и теория чисел

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.

УДК: 510.67

MSC: 03C15, 03C64

Поступила 11 мая 2018 г., опубликована 14 июня 2018 г.

Язык публикации: английский

DOI: 10.17377/semi.2018.15.057



Реферативные базы данных:


© МИАН, 2024