Pages that link to "Item:Q1899145"
From MaRDI portal
The following pages link to What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (Q1899145):
Displaying 5 items.
- 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)
- Circuit principles and weak pigeonhole variants (Q2383589) (← links)
- Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)