English

Model companions of theories with an automorphism

Logic 2007-05-23 v1

Abstract

For a theory TT in L,TσL, T_\sigma is the theory of the models of TT with an automorphism σ\sigma. If TT is an unstable model complete theory without the independence property, then TσT_\sigma has no model companion. If TT is an unstable model complete theory and TσT_\sigma has the amalgamation property, then TσT_\sigma has no model companion. If TT is model complete and has the fcp, then TσT_\sigma 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}
}