P, NP, Co-NP and weak systems of arithmetic (Q672742): Difference between revisions

@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard models of Peano arithmetic
@@ Property / cites work: Non-standard models of Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
+Normal rank
@@ Property / cites work @@
+NP-complete decision problems for binary quadratics
+Normal rank
@@ Property / cites work @@
+Nondeterministic polynomial-time computations and models of arithmetic
+Normal rank
@@ Property / cites work @@
+Q4286756
@@ Property / cites work: Q4286756 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528636
@@ Property / cites work: Q5528636 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\text{NP}\not={co}\)-NP and models of arithmetic
+Normal rank
@@ Property / cites work @@
+On models of arithmetic—Answers to two problems raised by H. Gaifman
+Normal rank
@@ Property / cites work @@
+Q4154553
@@ Property / cites work: Q4154553 / rank @@
+Normal rank