Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model companion of ordered theories with an automorphism   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.

10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat