Model theory of difference fields

DOI10.1090/S0002-9947-99-02498-8zbMath0922.03054OpenAlexW1870712983MaRDI QIDQ4243636

Publication date: 19 May 1999

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-99-02498-8

zbMATH Keywords

independence geometric stability theory simple theory elimination of imaginaries pseudofinite field difference field existentially closed fields nonforking \(SU\)-rank 1 types geometry of varieties defined by difference equations rank notion for types types of finite \(SU\)-rank Zil'ber trichotomy

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Automorphisms and endomorphisms of algebraic structures (08A35) Model theory of fields (12L12) Difference algebra (12H10)

Related Items

Co-theory of sorted profinite groups for PAC structures ⋮ SATURATED MODELS FOR THE WORKING MODEL THEORIST ⋮ MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS ⋮ Galois actions of finitely generated groups rarely have model companions ⋮ Small groups of finite Morley rank with a supertight automorphism ⋮ Simple homogeneous models ⋮ Difference modules and difference cohomology ⋮ CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION ⋮ The strict order property and generic automorphisms ⋮ Model theory of endomorphisms of separably closed fields ⋮ On the model companion of partial differential fields with an automorphism ⋮ Counting mod \(n\) in pseudofinite fields ⋮ Functoriality and uniformity in Hrushovski's groupoid-cover correspondence ⋮ THE MODEL COMPANION OF DIFFERENTIAL FIELDS WITH FREE OPERATORS ⋮ Existentially closed fields with finite group actions ⋮ Model theory of differential fields with finite group actions ⋮ Graphons arising from graphs definable over finite fields ⋮ Direct twisted Galois stratification ⋮ Model companion of ordered theories with an automorphism ⋮ Chains of theories and companionability ⋮ An ω-categorical structure with amenable automorphism group ⋮ Generalized Picard-Vessiot extensions and differential Galois cohomology ⋮ Difference sheaves and torsors ⋮ Exponentially closed fields and the conjecture on intersections with tori ⋮ An AEC framework for fields with commuting automorphisms ⋮ MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS ⋮ Zeta functions of equivalence relations over finite fields ⋮ Coding complete theories in Galois groups ⋮ On the generalized Carlitz module ⋮ Geometric axioms for differentially closed fields with several commuting derivations ⋮ On subgroups of semi-abelian varieties defined by difference equations ⋮ Generalized basic hypergeometric equations ⋮ The model theory of Cohen rings ⋮ Fields with automorphism and valuation ⋮ Model theory of compact complex manifolds with an automorphism ⋮ Invariant varieties for polynomial dynamical systems ⋮ Twisted Galois stratification ⋮ Model companions of \(T_{\Aut}\) for stable \(T\) ⋮ A model complete theory of valued D-fields ⋮ Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence ⋮ Difference Galois theory of linear differential equations ⋮ Symmetrized induced Ramsey theory ⋮ Some model theory of fibrations and algebraic reductions ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ On von Neumann regular rings with an automorphism ⋮ Imaginaries, invariant types and pseudo \(p\)-adically closed fields ⋮ Unnamed Item ⋮ On algebraic closure in pseudofinite fields ⋮ HYPERDEFINABLE GROUPS IN SIMPLE THEORIES ⋮ SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY ⋮ ON MAXIMAL STABLE QUOTIENTS OF DEFINABLE GROUPS IN NIP THEORIES ⋮ Independence in computable algebra ⋮ Model theoretic dynamics in Galois fashion ⋮ Model theory and diophantine geometry ⋮ Ax's theorem with an additive character ⋮ Interpolative fusions ⋮ Generalized amalgamation and \(n\)-simplicity ⋮ Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis ⋮ A note on existentially closed difference fields with algebraically closed fixed field ⋮ Existentially closed ordered difference fields and rings ⋮ Model theory of finite and pseudofinite groups ⋮ Differential forms in the model theory of differential fields ⋮ Model Theory: Geometrical and Set-Theoretic Aspects and Prospects ⋮ A note on groups definable in difference fields ⋮ Generic expansions by a reduct ⋮ Arithmetic Laplacians ⋮ Generic expansions of countable models ⋮ Galois stratification and ACFA ⋮ A Chevalley theorem for difference equations ⋮ Model theory of fields with free operators in characteristic zero ⋮ Geometric axioms for existentially closed Hasse fields ⋮ GENERIC AUTOMORPHISMS WITH PRESCRIBED FIXED FIELDS ⋮ \(n\)-simple theories ⋮ Groupoids, covers, and 3-uniqueness in stable theories ⋮ The Manin-Mumford conjecture and the model theory of difference fields ⋮ A survey of homogeneous structures ⋮ Difference Algebra ⋮ Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids ⋮ Simple-like independence relations in abstract elementary classes ⋮ Stable types in rosy theories ⋮ Grouplike minimal sets in ACFA AND in T_A ⋮ Derivations of the Frobenius map ⋮ A simple criterion ⋮ 2010 North American Annual Meeting of the Association for Symbolic Logic ⋮ Pseudofinite difference fields ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ Valued fields, metastable groups ⋮ A note on orthogonality and stable embeddedness ⋮ Pseudofinite difference fields and counting dimensions ⋮ Model theory of fields with free operators in positive characteristic ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Stable embeddedness in algebraically closed valued fields ⋮ A primitive element theorem for fields with commuting derivations and automorphisms ⋮ Definable sets in algebraically closed valued fields: elimination of imaginaries ⋮ Effective difference elimination and nullstellensatz ⋮ Generic structures and simple theories ⋮ On algebraic 𝜎-groups ⋮ The definable multiplicity property and generic automorphisms ⋮ Hypertranscendence and linear difference equations ⋮ Hensel minimality I ⋮ A separation theorem for simple theories ⋮ Local André-Oort conjecture for the universal abelian variety ⋮ Diophantine geometry of the torsion of a Drinfeld module ⋮ Automorphisms of homogeneous structures

Cites Work