Model companions of theories with an automorphism
Logic
2007-05-23 v1
Abstract
For a theory in is the theory of the models of with an automorphism . If is an unstable model complete theory without the independence property, then has no model companion. If is an unstable model complete theory and has the amalgamation property, then has no model companion. If is model complete and has the fcp, then has no model completion.
Keywords
Cite
@article{arxiv.math/9809191,
title = {Model companions of theories with an automorphism},
author = {Hirotaka Kikyo},
journal= {arXiv preprint arXiv:math/9809191},
year = {2007}
}