Pages that link to "Item:Q5895202"
From MaRDI portal
The following pages link to A new proof of the weak pigeonhole principle (Q5895202):
Displayed 6 items.
- Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms (Q1401230) (← links)
- A model-theoretic characterization of the weak pigeonhole principle (Q1849868) (← links)
- Lower bounds for the weak pigeonhole principle and random formulas beyond resolution (Q1854546) (← links)
- On the complexity of resolution with bounded conjunctions (Q1885907) (← links)
- Structures interpretable in models of bounded arithmetic (Q2570136) (← links)
- Propositional proof complexity (Q6064569) (← links)