Pro-definability of spaces of definable types (Q4994917): Difference between revisions

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