Model Companions of Theories with An Automorphism

@article{Kikyo2000ModelCO,
  title={Model Companions of Theories with An Automorphism},
  author={Hirotaka Kikyo},
  journal={J. Symb. Log.},
  year={2000},
  volume={65},
  pages={1215-1222}
}
For a theory T in L, T is the theory of the models of T with an automorphism. If T is an unstable model complete theory without the independence property, then T has no model companion. If T is an unstable model complete theory and T has the amalgamation property, then T has no model companion. If T is model complete and has the fcp, then T has no model completion. 

From This Paper

Topics from this paper.
8 Citations
8 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Model theory

  • W Ho, Hodges
  • Model theory
  • 1993

Arch. Math. Logic

  • L D Lascar, Les
  • Arch. Math. Logic
  • 1991

Autour de la propri et e du petit indice

  • D Lascar
  • Proc. London Math. Soc
  • 1991

Twenty years of p-adic model theory

  • M A Macintyre
  • Twenty years of p-adic model theory
  • 1986

An introduction to stability theory

  • P A Pillay
  • An introduction to stability theory
  • 1983

Classiication theory and the number of non-isomorphic models

  • Sh S Shelah
  • Classiication theory and the number of non…
  • 1978

Generic structures and simple theories, preprint

  • Z Chp, A Chatzidakis, Pillay
  • Generic structures and simple theories, preprint

Hiratsuka 259-12 Japan e-mail:kikyo@ss.u-tokai.ac

  • Hiratsuka 259-12 Japan e-mail:kikyo@ss.u-tokai.ac

Similar Papers

Loading similar papers…