Imaginaries and definable types in algebraically closed valued fields

zbMATH Open1401.03062arXiv1403.7326MaRDI QIDQ4982804FDOQ4982804

Authors: Ehud Hrushovski 

Publication date: 10 April 2015

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.

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

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

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)

Cited In (17)

• ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
• Title not available (Why is that?)
• Residue field domination in real closed valued fields
• Imaginaries and invariant types in existentially closed valued differential fields
• Around definable types in \(p\)-adically closed fields
• Imaginaries in separably closed valued 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)