A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS (Q2795910): Difference between revisions

@@ Property / cites work @@
+Expansions of subfields of the real field by a discrete set
+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 @@
+Definably complete Baire structures
@@ Property / cites work: Definably complete Baire structures / rank @@
+Normal rank
@@ Property / cites work @@
+Definably complete structures are not pseudo-enumerable
+Normal rank
@@ Property / cites work @@
+Q5620774
@@ Property / cites work: Q5620774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950472
@@ Property / cites work: Q4950472 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally o-minimal structures and structures with locally o-minimal open core
+Normal rank