P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\) (Q1338220): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)00067-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2050813033
@@ Property / OpenAlex ID: W2050813033 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to recursively saturated and resplendent models
+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 @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Procedures
@@ Property / cites work: Algorithmic Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible telephone directories
@@ Property / cites work: Accessible telephone directories / rank @@
+Normal rank
@@ Property / cites work @@
+On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines
+Normal rank
@@ Property / cites work @@
+Q4279733
@@ Property / cites work: Q4279733 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5652669
@@ Property / cites work: Q5652669 / rank @@
+Normal rank
@@ Property / cites work @@
+Alfred Tarski's elimination theory for real closed fields
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1338220