RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2023 Volume 20, Issue 2, Pages 588–599 (Mi semr1597)

This article is cited in 2 papers

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.

UDC: 510.67

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

Received October 11, 2022, published July 21, 2023

Language: English

DOI: 10.33048/semi.2023.20.034



© Steklov Math. Inst. of RAS, 2025