On the proof of elimination of imaginaries in algebraically closed valued fields

DOI10.1215/00294527-2020-0017zbMath1485.03124arXiv1406.3654OpenAlexW3089792876MaRDI QIDQ2656206

Will Johnson

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

zbMATH Keywords

algebraically closed valued fieldsNIPgeneric stabilityelimination of imaginaries

Mathematics Subject Classification ID

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