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

@@ Property / DOI @@
-.2178/jsl/1318338857
@@ Property / DOI: 10.2178/jsl/1318338857 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W1964730968
@@ Property / OpenAlex ID: W1964730968 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.2178/JSL/1318338857
@@ Property / DOI: 10.2178/JSL/1318338857 / rank @@
+Normal rank