Un critère simple

Nous isolons des proprietes valables dans certaines theories de purs corps ou de corps munis d'operateurs afin de montrer qu'une theorie est simple lorsque les clotures definissables et algebriques sont controlees par une theorie stable associee.

[1]  Peter M. Neumann,et al.  The structure of finitary permutation groups , 1976 .

[2]  Saharon Shelah,et al.  Model Companions of TAut for Stable T , 2001, Notre Dame J. Formal Log..

[3]  Ehud Hrushovski,et al.  Undimensional Theories are Superstable , 1990, Ann. Pure Appl. Log..

[4]  Moshe Jarden,et al.  THE ELEMENTARY THEORY OF FINITE FIELDS , 2004 .

[5]  Ehud Hrushovski,et al.  Groups definable in local fields and pseudo-finite fields , 1994 .

[6]  Byunghan Kim,et al.  Amalgamation functors and boundary properties in simple theories , 2010, 1006.4410.

[7]  Silvain Rideau.  Groups with definable generics , 2016 .

[8]  O. P. Nicholas Marie Polkowska.  On Simplicity of Bounded Pseudoalgebraically closed Structures , 2007, J. Math. Log..

[9]  A. Pillay,et al.  A note on groups definable in difference fields , 2001 .

[10]  E. Hrushovski,et al.  Model theory of endomorphisms of separably closed fields , 2004 .

[11]  A. Weil,et al.  On Algebraic Groups of Transformations , 1955 .

[12]  Thomas Blossier,et al.  à la recherche du Tore Perdu , 2016, J. Symb. Log..

[13]  Tracey Baldwin McGrail,et al.  The model theory of differential fields with finitely many commuting derivations , 2000, Journal of Symbolic Logic.

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

[15]  Ronald F. Bustamante Medina.  Differentially closed fields of characteristic zero with a generic automorphism , 2007 .

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

[17]  Anand Pillay,et al.  Some foundational questions concerning differential algebraic groups , 1997 .

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

[19]  Elisabeth Bouscaren.  Model Theoretic Versions of Weil's Theeorem on PreGroups , 1989 .

[20]  Anand Pillay,et al.  Simple Theories , 1997, Ann. Pure Appl. Log..

[21]  Thomas Scanlon,et al.  Model theory of fields with free operators in characteristic zero , 2014, J. Math. Log..

[22]  Jessica Millar,et al.  Constructing the hyperdefinable Group from the Group Configuration , 2006, J. Math. Log..

[23]  E. Bouscaren,et al.  Groups definable in separably closed fields , 2001 .

[24]  F. Wagnerz,et al.  Supersimple Fields and Division Rings , 2000 .

[26]  Daniel Max Hoffmann.  Model theoretic dynamics in a more Galois fashion , 2017 .

[27]  Itay Ben-Yaacov,et al.  Constructing an Almost hyperdefinable Group , 2004, J. Math. Log..

[28]  M. Ziegler.  A Note on Generic Types , 2006, math/0608433.

[29]  Françoise Delon,et al.  Idéaux et types sur les corps séparablement clos , 1988 .

[30]  M. Messmer.  Groups and fields interpretable in separably closed fields , 1994 .

[31]  Anand Pillay,et al.  On PAC and bounded substructures of a stable structure , 2006, J. Symb. Log..

[32]  Anand Pillay,et al.  Differential Galois theory I , 1998 .

[33]  Enrique Casanovas.  The Number of Types in Simple Theories , 1999, Ann. Pure Appl. Log..

[34]  Zoé Chatzidakis,et al.  GEOMETRIC REPRESENTATION IN THE THEORY OF PSEUDO-FINITE FIELDS , 2016, The Journal of Symbolic Logic.