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 11 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)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)
- Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)
