ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES
From MaRDI portal
Publication:5858919
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
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