Pages that link to "Item:Q1401230"
From MaRDI portal
The following pages link to Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms (Q1401230):
Displaying 6 items.
- Iterated multiplication in \(VTC^0\) (Q2155497) (← links)
- Provability of the pigeonhole principle and the existence of infinitely many primes (Q4206725) (← links)
- Resolution and the binary encoding of combinatorial principles (Q5091756) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- A new proof of the weak pigeonhole principle (Q5894824) (← links)
- Proof complexity and the binary encoding of combinatorial principles (Q6562831) (← links)