Defining additive subgroups of the reals from convex subsets (Q3182585): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
+Normal rank
@@ Property / cites work @@
+A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
+Normal rank
@@ Property / cites work @@
+Q3840696
@@ Property / cites work: Q3840696 / rank @@
+Normal rank
@@ Property / cites work @@
+THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
+Normal rank
@@ Property / cites work @@
+Q5700815
@@ Property / cites work: Q5700815 / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding the projective hierarchy in expansions of the real field by sequences
+Normal rank
@@ Property / cites work @@
+Q4953191
@@ Property / cites work: Q4953191 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform first-order definitions in finitely generated fields
+Normal rank
@@ Property / cites work @@
+The Undecidability of Algebraic Rings and Fields
@@ Property / cites work: The Undecidability of Algebraic Rings and Fields / rank @@
+Normal rank
@@ Property / cites work @@
+THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3182585