|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematical logic, algebra and number theory
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
Abstract:
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.
Keywords:
spherical order, elementary theory, dense spherical order, countably categorical theory, spectrum of countable models, Vaught conjecture.
Received October 11, 2022, published July 21, 2023
Citation:
B. Sh. Kulpeshov, S. V. Sudoplatov, “Spherical orders, properties and countable spectra of their theories”, Sib. Èlektron. Mat. Izv., 20:2 (2023), 588–599
Linking options:
https://www.mathnet.ru/eng/semr1597 https://www.mathnet.ru/eng/semr/v20/i2/p588
|
Statistics & downloads: |
Abstract page: | 45 | Full-text PDF : | 23 | References: | 15 |
|