Weak arithmetics (Q5941252): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00106-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2913806581
@@ Property / OpenAlex ID: W2913806581 / rank @@
+Normal rank