The first part of the thesis concerns the existence of model companions of certain unstable theories with automorphisms. Let T be a first-order theory with the strict order property. According to Kiky...
The first part of the thesis concerns the existence of model companions of certain unstable theories with automorphisms. Let T be a first-order theory with the strict order property. According to Kikyo and Shelah's theorem, the theory of models of T with a generic automorphism does not have a model... Read More