Imaginaries and definable types in algebraically closed valued fields

zbMath1401.03062arXiv1403.7326MaRDI QIDQ4982804

Ehud Hrushovski

Publication date: 10 April 2015

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

zbMATH Keywords

valued fieldsimaginary elements

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 (8)

On the proof of elimination of imaginaries in algebraically closed valued fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK ⋮ Imaginaries, invariant types and pseudo \(p\)-adically closed fields ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ Definability of types and VC density in differential topological fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS ⋮ Residue field domination in real closed valued fields

This page was built for publication: Imaginaries and definable types in algebraically closed valued fields