On the proof of elimination of imaginaries in algebraically closed valued fields
From MaRDI portal
Publication:2656206
DOI10.1215/00294527-2020-0017zbMath1485.03124arXiv1406.3654OpenAlexW3089792876MaRDI QIDQ2656206
Publication date: 10 March 2021
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.3654
Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)
Related Items (4)
Some definable types that cannot be amalgamated ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ Imaginaries, invariant types and pseudo \(p\)-adically closed fields ⋮ ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES
Cites Work
- On NIP and invariant measures
- Complete theories
- Definable sets in algebraically closed valued fields: elimination of imaginaries
- Canonical forms for definable subsets of algebraically closed and real closed valued fields
- Imaginaries and definable types in algebraically closed valued fields
- A Guide to NIP Theories
This page was built for publication: On the proof of elimination of imaginaries in algebraically closed valued fields