English

Model companion of ordered theories with an automorphism

Logic 2013-06-03 v1

Abstract

Kikyo and Shelah showed that if TT is a theory with the Strict Order Property in some first-order language L\mathcal{L}, then in the expanded language Lσ:=L{σ}\mathcal{L}_\sigma := \mathcal{L}\cup\{\sigma\} with a new unary function symbol σ\sigma, the bigger theory Tσ:=T{σ\mboxisanL\mboxautomorphism}T_\sigma := T\cup\{``\sigma \mbox{is an} \mathcal{L}\mbox{-automorphism''}\} does not have a model companion. We show in this paper that if, however, we restrict the automorphism and consider the theory TσT_\sigma as the base theory TT together with a ``restricted'' class of automorphisms, then TσT_\sigma can have a model companion in Lσ\mathcal{L}_\sigma. We show this in the context of linear orders and ordered abelian groups.

Keywords

Cite

@article{arxiv.1305.7501,
  title  = {Model companion of ordered theories with an automorphism},
  author = {Michael C. Laskowski and Koushik Pal},
  journal= {arXiv preprint arXiv:1305.7501},
  year   = {2013}
}