pith. sign in

arxiv: 1305.7501 · v1 · pith:3SJVRP5Inew · submitted 2013-05-31 · 🧮 math.LO

Model companion of ordered theories with an automorphism

classification 🧮 math.LO
keywords sigmamathcaltheoryautomorphismcompanionmodellanguagembox
0
0 comments X
read the original abstract

Kikyo and Shelah showed that if $T$ is a theory with the Strict Order Property in some first-order language $\mathcal{L}$, then in the expanded language $\mathcal{L}_\sigma := \mathcal{L}\cup\{\sigma\}$ with a new unary function symbol $\sigma$, the bigger theory $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_\sigma$ as the base theory $T$ together with a ``restricted'' class of automorphisms, then $T_\sigma$ can have a model companion in $\mathcal{L}_\sigma$. We show this in the context of linear orders and ordered abelian groups.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.