Weak arithmetics (Q5941252): Difference between revisions

@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Saturation and stability in the theory of computation over the reals
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+Normal rank
@@ Property / cites work @@
+Maximal fields with valuations
@@ Property / cites work: Maximal fields with valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine induction
@@ Property / cites work: Diophantine induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841154
@@ Property / cites work: Q4841154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838610
@@ Property / cites work: Q3838610 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Applications of Logic to Mathematics
@@ Property / cites work: Two Applications of Logic to Mathematics / rank @@
+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 / Wikidata QID @@
+Q126372100
@@ Property / Wikidata QID: Q126372100 / rank @@
+Normal rank