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

On the proof of elimination of imaginaries in algebraically closed valued fields ⋮ Imaginaries in separably closed valued fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK ⋮ GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY ⋮ 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 ⋮ Pro-definability of spaces of definable types ⋮ Residue field domination in real closed valued fields ⋮ Types in valued fields with coefficient maps

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