Arithmetization of the field of reals with exponentiation extended abstract (Q3514637): Difference between revisions

@@ Property / cites work @@
+Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Every real closed field has an integer part
@@ Property / cites work: Every real closed field has an integer part / rank @@
+Normal rank
@@ Property / cites work @@
+Q3223453
@@ Property / cites work: Q3223453 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140641
@@ Property / cites work: Q3140641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5341750
@@ Property / cites work: Q5341750 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential rings, exponential polynomials and exponential functions
+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