Imaginaries and definable types in algebraically closed valued fields

MaRDI QIDQ4982804zbMATH OpenFDO

Authors 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) Valued fields (12J10) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: The text is based on notes from a class entitled {em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from cite{hhmcrelle}, cite{hhm} and cite{HL}, regarding definable types in the model completion of the theory of valued fields, and the classification of imaginary sorts. The latter is given a new proof, based on definable types rather than invariant types, and on the notion of {em generic reparametrization}. I also try to bring out the relation to the geometry of cite{HL} - stably dominated definable types as the model theoretic incarnation of a Berkovich point.

Recommendations

• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Unexpected imaginaries in valued fields with analytic structure
• Imaginaries in separably closed valued fields
• scientific article; zbMATH DE number 2152684
• scientific article; zbMATH DE number 2220969

Cited in

(17)

• ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
• scientific article; zbMATH DE number 2220969 (Why is no real title available?)
• Residue field domination in real closed valued fields
• Imaginaries and invariant types in existentially closed valued differential fields
• Imaginaries in separably closed valued fields
• Around definable types in \(p\)-adically closed fields
• Definability of types and VC density in differential topological fields
• Strong density of definable types and closed ordered differential fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY
• Pro-definability of spaces of definable types
• On the elimination of imaginaries from certain valued fields
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Types in valued fields with coefficient maps
• Unexpected imaginaries in valued fields with analytic structure
• On the proof of elimination of imaginaries in algebraically closed valued fields
• Imaginaries, invariant types and pseudo \(p\)-adically closed fields

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982804)