Definably complete structures are not pseudo-enumerable (Q634773): Difference between revisions

@@ Property / cites work @@
+Definable versions of theorems by Kirszbraun and Helly
+Normal rank
@@ Property / cites work @@
+Locally o-minimal structures and structures with locally o-minimal open core
+Normal rank
@@ Property / cites work @@
+Definably complete structures are not pseudo-enumerable
+Normal rank
@@ Property / cites work @@
+Dimensions, matroids, and dense pairs of first-order structures
+Normal rank
@@ Property / cites work @@
+A first-order version of Pfaffian closure
@@ Property / cites work: A first-order version of Pfaffian closure / rank @@
+Normal rank
@@ Property / cites work @@
+Definably complete Baire structures
@@ Property / cites work: Definably complete Baire structures / rank @@
+Normal rank
@@ Property / cites work @@
+Defining the set of integers in expansions of the real field by a closed discrete set
+Normal rank
@@ Property / cites work @@
+An analogue of the Baire category theorem
@@ Property / cites work: An analogue of the Baire category theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Expansions of dense linear orders with the intermediate value property
+Normal rank
@@ Property / cites work @@
+Q5700815
@@ Property / cites work: Q5700815 / rank @@
+Normal rank