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