ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES

DOI10.1017/jsl.2020.61zbMath1485.03094arXiv1811.08510OpenAlexW3097517922MaRDI QIDQ5858919

Junguk Lee, Jan Cz. Dobrowolski, Daniel Max Hoffmann

Publication date: 15 April 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.08510

zbMATH Keywords

Galois groupspseudo-algebraically closed structures

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Abstract model theory (03C95)

Related Items (4)

Model theory of differential fields with finite group actions ⋮ THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS ⋮ Co-theory of sorted profinite groups for PAC structures ⋮ Differentially large fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• The elementary theory of algebraic fields of finite corank
• Generic structures and simple theories
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• Model theoretic dynamics in Galois fashion
• On Kim-independence
• The elementary theory of finite fields
• Solving diophantine problems modulo every prime
• Pseudo algebraically closed fields with non-archimedean real valuations
• On the proof of elimination of imaginaries in algebraically closed valued fields
• On Galois groups and PAC substructures
• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• Decidability and undecidability theorems for PAC-fields
• Properties of forking in ω-free pseudo-algebraically closed fields
• Amalgamation of types in pseudo-algebraically closed fields and applications
• On PAC and bounded substructures of a stable structure

This page was built for publication: ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES