The Number of Countable Models of a Complete Theory and of Its Inessential Extension


Kudaibergenov K.Z.
September 2024Springer

Algebra and Logic
2024#63Issue 4258 - 269 pp.

It is proved that (a) there exists a complete countable theory having 2ω countable models, some inessential extension of which has ω countable models, and that (b) there exists a complete countable theory having 2ω countable models, some inessential extension of which has finitely many countable models. This gives an answer to the question of A. D. Taimanov.

complete countable theory , inessential extension , number of countable models

Text of the article Перейти на текст статьи

Institute of Mathematics and Mathematical Modeling, Ministry of Education and Science RK, Alma-Ata, Kazakhstan

Institute of Mathematics and Mathematical Modeling

10 лет помогаем публиковать статьи Международный издатель

Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026