Model companion of ordered theories with an automorphism
Logic
2013-06-03 v1
Abstract
Kikyo and Shelah showed that if is a theory with the Strict Order Property in some first-order language , then in the expanded language with a new unary function symbol , the bigger theory does not have a model companion. We show in this paper that if, however, we restrict the automorphism and consider the theory as the base theory together with a ``restricted'' class of automorphisms, then can have a model companion in . 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}
}