On the decidability of the real field with a generic power function (Q3107362): Difference between revisions

@@ Property / cites work @@
+Definably complete Baire structures
@@ Property / cites work: Definably complete Baire structures / rank @@
+Normal rank
@@ Property / cites work @@
+The field of reals with a predicate for the powers of two
+Normal rank
@@ Property / cites work @@
+Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
+Normal rank
@@ Property / cites work @@
+Locally polynomially bounded structures
@@ Property / cites work: Locally polynomially bounded structures / rank @@
+Normal rank
@@ Property / cites work @@
+Expansions of the real field with power functions
@@ Property / cites work: Expansions of the real field with power functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5511421
@@ Property / cites work: Q5511421 / rank @@
+Normal rank