关于 Rubin 的《线性序理论》
逻辑
2021-05-27 v3
摘要
设 为线性序一阶结构， 为其完全理论。我们研究 中能够保证 不比某些着色序（带有附加一元谓词的线性序）复杂太多的条件。受 Rubin 工作的启发，我们标定了三个表达 的类型和/或 的模型的自同构之性质的条件。我们证明了若干结果，表明满足这些条件的理论之模型中可定义集的“几何”简单性。例如，我们证明最强条件在定义等价（相互可定义）意义下刻画了由具有凸类的等价关系所扩张的着色序理论。
引用
@article{arxiv.1810.02324,
title = {Around Rubin's "Theories of linear order"},
author = {Predrag Tanović and Slavko Moconja and Dejan Ilić},
journal= {arXiv preprint arXiv:1810.02324},
year = {2021}
}