Pro-definability of spaces of definable types

DOI10.1090/BPROC/85MaRDI QIDQ4994917zbMATH OpenOpenAlexFDO

Authors Pablo Cubides Kovacsics, Jinhe Ye

Publication date 22 June 2021

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

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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)

Recommendations

• Imaginaries and definable types in algebraically closed valued fields
• Definable types in the theory of closed ordered differential fields
• The non-existence of a universal topological type space
• scientific article; zbMATH DE number 1471890
• On bounded type-definable equivalence relations
• Berkovich spaces are tame (after Ehud Hrushovski and François Loeser
• Homology groups of types in model theory and the computation of H₂(p)
• Model theoretic stability and definability of types, after A. Grothendieck
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Strong density of definable types and closed ordered differential fields

Cites work

• A Guide to NIP Theories
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• Definable types in -minimal theories
• Definable types in algebraically closed valued fields
• Definable types in the theory of closed ordered differential fields
• Definissabilite Avec Parametres Exterieurs Dans Q p Et R
• Formally p-adic fields
• scientific article; zbMATH DE number 5978431 (Why is no real title available?)
• Imaginaries in real closed valued fields
• Ind- and pro-definable sets
• Non-Archimedean tame topology and stably dominated types
• Paires de structures stables
• Presburger sets and p-minimal fields
• Real closed rings. II. Model theory
• Residue field domination in real closed valued fields
• Smooth p-adic analytic spaces are locally contractible
• Strong density of definable types and closed ordered differential fields
• Valued Fields

Cited in

(11)

• A note on \(\mu\)-stabilizers in ACVF
• Polynomial approximation of Berkovich spaces and definable types
• scientific article; zbMATH DE number 3871352 (Why is no real title available?)
• Type-definable bounded equivalence relations and metric spaces
• Cohomology of algebraic varieties over non-Archimedean fields
• Definable types in the theory of closed ordered differential fields
• Berkovich spaces are tame (after Ehud Hrushovski and François Loeser
• Around definable types in p-adically closed fields
• A note on the cardinality of definable families of sets in o-minimal structures
• Beautiful pairs
• On minimal flows of definably amenable p-adic groups

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

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