Interpreting the monadic second order theory of one successor in expansions of the real line (Q1650004): Difference between revisions

@@ Property / cites work @@
+Q4219027
@@ Property / cites work: Q4219027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong theories of ordered Abelian groups
@@ Property / cites work: Strong theories of ordered Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Structures having o-minimal open core
@@ Property / cites work: Structures having o-minimal open core / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+Hausdorff dimension, analytic sets and transcendence.
+Normal rank
@@ Property / cites work @@
+A dichotomy for expansions of the real field
@@ Property / cites work: A dichotomy for expansions of the real field / rank @@
+Normal rank
@@ Property / cites work @@
+Expansions of the real field by open sets: definability versus interpretability
+Normal rank
@@ Property / cites work @@
+Expansions of subfields of the real field by a discrete set
+Normal rank
@@ Property / cites work @@
+EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
+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 @@
+Interpreting the projective hierarchy in expansions of the real line
+Normal rank
@@ Property / cites work @@
+Q4354789
@@ Property / cites work: Q4354789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5700815
@@ Property / cites work: Q5700815 / rank @@
+Normal rank
@@ Property / cites work @@
+A Guide to NIP Theories
@@ Property / cites work: A Guide to NIP Theories / rank @@
+Normal rank