Pages that link to "Item:Q5431613"
From MaRDI portal
The following pages link to On Independence of Variants of the Weak Pigeonhole Principle (Q5431613):
Displaying 13 items.
- Integer factoring and modular square roots (Q896029) (← links)
- A model-theoretic characterization of the weak pigeonhole principle (Q1849868) (← links)
- Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
- Random resolution refutations (Q2311546) (← links)
- Circuit principles and weak pigeonhole variants (Q2383589) (← links)
- Typical forcings, NP search problems and an extension of a theorem of Riis (Q2659102) (← links)
- Fragments of approximate counting (Q2921008) (← links)
- Approximate counting by hashing in bounded arithmetic (Q3399180) (← links)
- The weak pigeonhole principle for function classes inS12 (Q3418087) (← links)
- The polynomial and linear hierarchies in models where the weak pigeonhole principle fails (Q3503756) (← links)
- A note on the Σ<sub>1</sub>collection scheme and fragments of bounded arithmetic (Q3552388) (← links)
- Abelian groups and quadratic residues in weak arithmetic (Q3566945) (← links)
- Complexity barriers as independence (Q6599290) (← links)