Constructing models of small ordered theories with maximal countable spectrum
Baizhanov B. Zambarnaya T.
February 2026Elsevier B.V.
Annals of Pure and Applied Logic
2026#177Issue 2
We propose a method for the construction of countable models of small theories. We then apply it to prove theorems concerning the maximal number of countable non-isomorphic models of linearly ordered theories.
Convex formula , Countable model , Finite diagram , Linear order , Number of countable models , Small theory
Text of the article Перейти на текст статьи
Institute of Mathematics and Mathematical Modeling, 125 Pushkin str., Almaty, 050010, Kazakhstan
Kazakh-British Technical University, 59 Tole bi str., Almaty, 050000, Kazakhstan
Institute of Mathematics and Mathematical Modeling
Kazakh-British Technical University
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026