A Characterisation of Definable NP Search Problems in Peano Arithmetic (Q3638270): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02261-6_1
+Normal rank
@@ Property / OpenAlex ID @@
+W122675930
@@ Property / OpenAlex ID: W122675930 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity of cut-reduction
@@ Property / cites work: On the computational complexity of cut-reduction / rank @@
+Normal rank
@@ Property / cites work @@
+POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Q3081638
@@ Property / cites work: Q3081638 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal notations and well-orderings in bounded arithmetic
+Normal rank
@@ Property / cites work @@
+An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic
+Normal rank
@@ Property / cites work @@
+Notation systems for infinitary derivations
@@ Property / cites work: Notation systems for infinitary derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364500
@@ Property / cites work: Q4364500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556414
@@ Property / cites work: Q5556414 / rank @@
+Normal rank
@@ Property / cites work @@
+How easy is local search?
@@ Property / cites work: How easy is local search? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079564
@@ Property / cites work: Q4079564 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Bounded Arithmetic and Bounded Query Classes
+Normal rank
@@ Property / cites work @@
+NP search problems in low fragments of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Finite investigations of transfinite derivations
@@ Property / cites work: Finite investigations of transfinite derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and definability in general bounded arithmetic theories
+Normal rank
@@ Property / cites work @@
+Q5477362
@@ Property / cites work: Q5477362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3689182
@@ Property / cites work: Q3689182 / rank @@
+Normal rank
@@ Property / cites work @@
+The provably total search problems of bounded arithmetic
+Normal rank