Model theory of difference fields

A difference field is a field with a distinguished automorphism σ. This paper studies the model theory of existentially closed difference fields. We introduce a dimension theory on formulas, and in particular on difference equations. We show that an arbitrary formula may be reduced into one-dimensional ones, and analyze the possible internal structures on the one-dimensional formulas when the characteristic is 0.

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

[2]  Anand Pillay,et al.  Weakly normal groups , 1985, Logic Colloquium.

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

[4]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[5]  D. Robinson.  A Course in the Theory of Groups , 1982 .

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

[7]  Lou van den Dries,et al.  Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields , 1989, Ann. Pure Appl. Log..

[8]  Elisabeth Bouscaren,et al.  Model Theory and Algebraic Geometry , 1998 .

[9]  Ehud Hrushovski,et al.  Zariski Geometries , 1993 .

[10]  Joseph H. Silverman,et al.  The arithmetic of elliptic curves , 1986, Graduate texts in mathematics.

[11]  E. Bouscaren.  Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture , 1998 .

[12]  Michael Rosen.  Abelian Varieties over ℂ , 1986 .

[13]  Victor Harnik,et al.  Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models , 1982, Journal of Symbolic Logic.

[14]  Saharon Shelah,et al.  Simple unstable theories , 1980 .

[15]  A. Macintyre,et al.  Definable sets over finite fields. , 1992 .

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

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

[18]  Ehud Hrushovski,et al.  Unimodular Minimal Structures , 1992 .

[19]  A. Pillay.  Geometric Stability Theory , 1996 .

[20]  Ehud Hrushovski,et al.  Finite Structures with Few Types , 1993 .

[21]  Jean-Louis Duret,et al.  Les corps faiblement algebriquement clos non separablement clos ont la propriete d ’independance , 1980 .

[22]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[23]  L. van den Dries,et al.  Bounds in the theory of polynomial rings over fields. A nonstandard approach , 1984 .

[24]  Frank O. Wagner.  ESSENTIAL STABILITY THEORY (Perspectives in Mathematical Logic) , 1997 .

[25]  A. Weil,et al.  Variétés abéliennes et courbes algébriques , 1948 .

[26]  A. Pillay,et al.  Definable subgroups of algebraic groups over finite fields. , 1995 .

[27]  Daniel Lascar,et al.  Stability in model theory , 1990 .

[28]  Jean-Pierre Serre,et al.  Topics in Galois Theory , 1992 .

[29]  I. Shafarevich.  Basic algebraic geometry , 1974 .

[30]  Leszek Pacholski,et al.  Model theory of algebra and arithmetic , 1980 .

[31]  Byunghan Kim.  Forking in Simple Unstable Theories , 1998 .

[32]  Steven Buechler.  ESSENTIAL STABILITY THEORY (Perspectives in Mathematical Logic) , .

[33]  D. Eisenbud.  Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[34]  Steven Buechler.  Locally modular theories of finite rank , 1986, Ann. Pure Appl. Log..

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

[36]  Ehud Hrushovski.  Finitely axiomatizable a 1 categorical theories , 1994 .

[37]  Wilfrid Hodges.  AN INTRODUCTION TO STABILITY THEORY (Oxford Logic Guides, 8) , 1984 .

[38]  Ehud Hrushovski,et al.  On the Automorphism Groups of Finite Covers , 1993, Ann. Pure Appl. Log..

[39]  Ehud Hrushovski,et al.  The Manin-Mumford conjecture and the model theory of difference fields , 2001, Ann. Pure Appl. Log..

[40]  Anand Pillay,et al.  Introduction to stability theory , 1983, Oxford logic guides.