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

Сиб. электрон. матем. изв., 2023, том 20, выпуск 2, страницы 588–599 (Mi semr1597)

Эта публикация цитируется в 1 статье

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

Spherical orders, properties and countable spectra of their theories

B. Sh. Kulpeshovabc, S. V. Sudoplatovcd

a Insititute of Mathematics and Mathematical Modeling, Shevchenko street, 28, 050010, Almaty, Kazakhstan
b Kazakh British Technical University, Tole bi street, 59, 050000, Almaty, Kazakhstan
c Novosibirsk State Technical University, K. Marx avenue, 20, 630073, Novosibirsk, Russia
d Sobolev Institute of Mathematics, Academician Koptyug avenue, 4, 630090, Novosibirsk, Russia

Аннотация: We study semantic and syntactic properties of spherical orders and their elementary theories, including finite and dense orders and their theories. It is shown that theories of dense $n$-spherical orders are countably categorical and decidable. The values for spectra of countable models of unary expansions of $n$-spherical theories are described. The Vaught conjecture is confirmed for countable constant expansions of dense $n$-spherical theories.

Ключевые слова: spherical order, elementary theory, dense spherical order, countably categorical theory, spectrum of countable models, Vaught conjecture.

УДК: 510.67

MSC: 06A75, 03C10, 03C15, 03C50

Поступила 11 октября 2022 г., опубликована 21 июля 2023 г.

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

DOI: 10.33048/semi.2023.20.034



© МИАН, 2024