|
Эта публикация цитируется в 1 научной статье (всего в 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.
Поступила 11 октября 2022 г., опубликована 21 июля 2023 г.
Образец цитирования:
B. Sh. Kulpeshov, S. V. Sudoplatov, “Spherical orders, properties and countable spectra of their theories”, Сиб. электрон. матем. изв., 20:2 (2023), 588–599
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1597 https://www.mathnet.ru/rus/semr/v20/i2/p588
|
|