Pages that link to "Item:Q5410329"
From MaRDI portal
The following pages link to Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329):
Displayed 12 items.
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- Towards a unified complexity theory of total functions (Q1745728) (← links)
- Quasipolynomial size proofs of the propositional pigeonhole principle (Q2344736) (← links)
- Bounded theories for polyspace computability (Q2450770) (← links)
- Collapsing modular counting in bounded arithmetic and constant depth propositional proofs (Q2944908) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)
- (Q5014441) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
- The NP Search Problems of Frege and Extended Frege Proofs (Q5278209) (← links)
- Mining the surface: witnessing the low complexity theorems of arithmetic (Q6160756) (← links)