English

Around Rubin's "Theories of linear order"

Logic 2021-05-27 v3

Abstract

Let M=(M,<,...)\mathcal M=(M,<,...) be a linearly ordered first-order structure and TT its complete theory. We investigate conditions for TT that could guarantee that M\mathcal M is not much more complex than some colored orders (linear orders with added unary predicates). Motivated by Rubin's work, we label three conditions expressing properties of types of TT and/or automorphisms of models of TT. We prove several results which indicate the "geometric" simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest condition characterizes, up to definitional equivalence (inter-definability), theories of colored orders expanded by equivalence relations with convex classes.

Keywords

Cite

@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}
}