加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本