Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-10T07:19:21.474Z Has data issue: false hasContentIssue false
  • English
  • Français

Model companions of theories with an automorphism

Published online by Cambridge University Press:  12 March 2014

Hirotaka Kikyo
Hirotaka Kikyo*
Affiliation:
Department of Mathematical Sciences, Tokai University, 1117 Kitakaname, Hiratsuka 259-1292, Japan E-mail: kikyo@ss.u-tokai.ac.jp
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 65 , Issue 3 , September 2000 , pp. 1215 - 1222
Copyright
Copyright © Association for Symbolic Logic 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[ChP]Chatzidakis, Z. and Pillay, A., Generic structures and simple theories, Annals of Pure and Applied Logic, vol. 95 (1998), pp. 71–92.CrossRefGoogle Scholar
[Ho]Hodges, W., Model theory, Cambridge University Press, Cambridge, 1993.CrossRefGoogle Scholar
[LI]Lascar, D., Autour de la propriété du petit indice, Proceedings of the London Mathematical Society, vol. 62 (1991), pp. 25–53.Google Scholar
[L2]Lascar, D., Les beaux automorphismes, Archive for Mathematical Logic, vol. 31 (1991), pp. 55–68.Google Scholar
[M]Macintyre, A., Twenty years of p-adic model theory, Logic Colloquium '84 (Paris, J.B.et al., editors), North Holland, Amsterdam, 1986, pp. 121–153.Google Scholar
[P]Pillay, A., An introduction to stability theory, Clarendon, Oxford, 1983.Google Scholar
[SH]Shelah, S., Classification theory and the number of non-isomorphic models, North Holland, Amsterdam, 1978.Google Scholar