Definable types in algebraically closed valued fields

DOI10.1002/malq.201400039zbMath1371.03046arXiv1410.3589OpenAlexW2293427636MaRDI QIDQ2793905

Françoise Delon, Pablo Cubides Kovacsics

Publication date: 17 March 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

model theorydefinable typesvalued fieldsACVF

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65) Model theory of fields (12L12) Valued fields (12J10)

Related Items (6)

On valuation independence and defectless extensions of valued fields ⋮ Some definable types that cannot be amalgamated ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ Definability of types and VC density in differential topological fields ⋮ Pro-definability of spaces of definable types ⋮ A note on \(\mu\)-stabilizers in ACVF

Cites Work

• Unnamed Item
• Cell decompositions of \(C\)-minimal structures
• On variants of \(o\)-minimality
• Maximal fields with valuations
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Definable types in -minimal theories
• Definability of types, and pairs of O-minimal structures
• Externally definable sets and dependent pairs II

This page was built for publication: Definable types in algebraically closed valued fields