Pages that link to "Item:Q3583040"
From MaRDI portal
The following pages link to POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC (Q3583040):
Displaying 16 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- Nested PLS (Q535153) (← links)
- The provably total NP search problems of weak second order bounded arithmetic (Q639650) (← links)
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← links)
- Alternating minima and maxima, Nash equilibria and bounded arithmetic (Q764279) (← links)
- Feasible functionals and intersection of ramified types (Q2842842) (← links)
- Fragments of approximate counting (Q2921008) (← links)
- A Characterisation of Definable NP Search Problems in Peano Arithmetic (Q3638270) (← links)
- Witnessing functions in bounded arithmetic and search problems (Q4227882) (← links)
- (Q4281505) (← links)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)
- NP search problems in low fragments of bounded arithmetic (Q5294030) (← links)
- Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)
- A Local Criterion for Polynomial-Time Stratified Computations (Q5747634) (← links)
- Witnessing flows in arithmetic (Q6646013) (← links)
