Definable sets in algebraically closed valued fields: elimination of imaginaries

DOI10.1515/CRELLE.2006.066zbMath1127.12006OpenAlexW2060782153WikidataQ61848364 ScholiaQ61848364MaRDI QIDQ3413792

Dugald Macpherson, Ehud Hrushovski, Deirdre Haskell

Publication date: 18 December 2006

Published in: Journal fur die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/crelle.2006.066

zbMATH Keywords

valuation ringsdefinable functionsvalued fieldselimination of imaginariesvalue groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (30)

Imaginaries in bounded pseudo real closed fields ⋮ Imaginaries in Boolean algebras ⋮ On stably pointed varieties and generically stable groups in ACVF ⋮ Cohomology of algebraic varieties over non-archimedean fields ⋮ Imaginaries in real closed valued fields ⋮ Trace formulas for motivic volumes ⋮ A criterion for uniform finiteness in the imaginary sorts ⋮ On the proof of elimination of imaginaries in algebraically closed valued fields ⋮ A short note on groups in separably closed valued fields ⋮ Imaginaries in pairs of algebraically closed fields ⋮ Interpretable fields in various valued fields ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ On non-abelian \(C\)-minimal groups ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ Polynomial approximation of Berkovich spaces and definable types ⋮ Imaginaries, invariant types and pseudo \(p\)-adically closed fields ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ Canonical forests in directed families ⋮ DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES ⋮ On NIP and invariant measures ⋮ Definable types in algebraically closed valued fields ⋮ Isometry types of profinite groups. ⋮ Valued fields, metastable groups ⋮ About Hrushovski and Loeser’s Work on the Homotopy Type of Berkovich Spaces ⋮ Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields ⋮ Pro-definability of spaces of definable types ⋮ Residue field domination in real closed valued fields ⋮ Lectures on the Model Theory of Valued Fields ⋮ Topological fields with a generic derivation ⋮ Reified valuations and adic spectra

Cites Work

• Elimination of quantifiers in algebraic structures
• Strongly determined types
• Cell decompositions of \(C\)-minimal structures
• On variants of \(o\)-minimality
• Model theory of difference fields
• Prototypes for definable subsets of algebraically closed valued fields
• Canonical forms for definable subsets of algebraically closed and real closed valued fields

This page was built for publication: Definable sets in algebraically closed valued fields: elimination of imaginaries