A simple criterion

DOI10.1215/00294527-2019-0023MaRDI QIDQ2295737zbMATH OpenOpenAlexFDO

Authors Thomas Blossier, Amador Martin-Pizarro

Publication date 14 February 2020

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.03322, https://projecteuclid.org/euclid.ndjfl/1569031231

zbMATH Keywords

fields with operatorspseudo-algebraically closed fieldssimple theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Differential algebra (12H05) Difference algebra (12H10)

Abstract: In this short note, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a complete theory is simple whenever its definable and algebraic closures are controlled by an underlying stable theory.

Recommendations

• scientific article; zbMATH DE number 2204766
• Model theory of difference fields
• Simplicity criteria for rings of differential operators
• Generic structures and simple theories
• Simplicity simplified

Cites work

• A note on groups definable in difference fields
• A short note on groups in separably closed valued fields
• Amalgamation functors and boundary properties in simple theories
• CONSTRUCTING AN ALMOST HYPERDEFINABLE GROUP
• CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION
• Differential Galois theory. I
• Generic automorphisms of separably closed fields
• Generic structures and simple theories
• Geometric representation in the theory of pseudo-finite fields
• Groupoids, imaginaries and internal covers
• Groups and Fields Interpretable in Separably Closed Fields
• Groups definable in local fields and pseudo-finite fields
• Groups definable in separably closed fields
• scientific article; zbMATH DE number 493070 (Why is no real title available?)
• scientific article; zbMATH DE number 2220970 (Why is no real title available?)
• Idéaux et types sur les corps séparablement clos
• In search of the lost torus
• Model companions of \(T_{\Aut}\) for stable \(T\)
• Model theoretic dynamics in Galois fashion
• Model theory of difference fields
• Model theory of endomorphisms of separably closed fields
• Model theory of fields with free operators in characteristic zero
• On Algebraic Groups of Transformations
• On PAC and bounded substructures of a stable structure
• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• Quantifier elimination in pairs of algebraically closed fields
• Simple theories
• Some foundational questions concerning differential algebraic groups
• Supersimple fields and division rings
• The elementary theory of finite fields
• The model theory of differential fields with finitely many commuting derivations
• The number of types in simple theories
• The structure of finitary permutation groups
• Unidimensional theories are superstable

Cited in

(5)

• Model theoretic dynamics in Galois fashion
• Separation for isometric group actions and hyperimaginary independence
• FORKING, IMAGINARIES, AND OTHER FEATURES OF
• Stationarity and elimination of imaginaries in stable and simple theories
• Neostability transfers in derivation-like theories

This page was built for publication: A simple criterion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295737)