论文信息 - The Strict Order Property and Generic Automorphisms - 字舞流文

The Strict Order Property and Generic Automorphisms

If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.

Saharon Shelah | Hirotaka Kikyo

[1] Anand Pillay,et al. Generic Structures and Simple Theories , 1998, Ann. Pure Appl. Log..

[2] Hirotaka Kikyo,et al. Model companions of theories with an automorphism , 1998, Journal of Symbolic Logic.

[3] W. Hodges. CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS , 1980 .

[4] D. Lascar,et al. Autour De La Propriété Du Petit Indice , 1991 .

[5] Zoé Chatzidakis. Generic automorphisms of separably closed fields , 2001 .

[6] Ehud Hrushovski,et al. Model theory of difference fields , 1999 .

[7] Daniel Lascar. Les beaux automorphismes , 1991, Arch. Math. Log..

[8] Hirotaka Kikyo,et al. The definable multiplicity property and generic automorphisms , 2000, Ann. Pure Appl. Log..

[9] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .

[10] Angus Macintyre,et al. Generic Automorphisms of Fields , 1997, Ann. Pure Appl. Log..