Spherical orders, properties and countable spectra of their theories

arXiv2208.05097MaRDI QIDQ6407448FDOQ6407448

B. Sh. Kulpeshov, S. V. Sudoplatov

Publication date: 9 August 2022

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.

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model theory of denumerable and separable structures (03C15) Generalizations of ordered sets (06A75) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Spherical orders, properties and countable spectra of their theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407448)