球面序及其性质与理论的 countable 谱
逻辑
2022-08-11 v1
摘要
我们研究球面序及其初等理论的语义与语法性质，包括有限序与稠密序及其理论。证明了稠密 -球面序的理论是 countable 范畴且可判定的。描述了 -球面理论的一元扩张的 countable 模型谱的取值。对于稠密 -球面理论的 countable 常数扩张，Vaught 猜想得到证实。
引用
@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}
}