Pro-definability of spaces of definable types

DOI10.1090/bproc/85OpenAlexW3166562637MaRDI QIDQ4994917

Jinhe Ye, Pablo Cubides Kovacsics

Publication date: 22 June 2021

Published in: Proceedings of the American Mathematical Society, Series B (Search for Journal in Brave)

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

zbMATH Keywords

definable typespro-definabilitystably embedded pairs

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory (number-theoretic aspects) (11U09) Valued fields (12J10)

Related Items (2)

Cohomology of algebraic varieties over non-archimedean fields ⋮ A note on \(\mu\)-stabilizers in ACVF

Cites Work

• Unnamed Item
• Definable types in the theory of closed ordered differential fields
• Real closed rings. II. Model theory
• Formally \(p\)-adic fields
• Smooth \(p\)-adic analytic spaces are locally contractible
• Residue field domination in real closed valued fields
• Imaginaries in real closed valued fields
• Ind- and pro-definable sets
• Non-Archimedean Tame Topology and Stably Dominated Types
• Definable types in algebraically closed valued fields
• Paires de structures stables
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Definable types in -minimal theories
• Presburger sets and p-minimal fields
• STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
• Definissabilite Avec Parametres Exterieurs Dans Q p Et R
• A Guide to NIP Theories
• Valued Fields

This page was built for publication: Pro-definability of spaces of definable types