Spherical orders, properties and countable spectra of their theories
Logic
2022-08-11 v1
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 -spherical orders are countably categorical and decidable. The values for spectra of countable models of unary expansions of -spherical theories are described. The Vaught conjecture is confirmed for countable constant expansions of dense -spherical theories.
Keywords
Cite
@article{arxiv.2208.05097,
title = {Spherical orders, properties and countable spectra of their theories},
author = {Beibut Sh. Kulpeshov and Sergey V. Sudoplatov},
journal= {arXiv preprint arXiv:2208.05097},
year = {2022}
}