✦ LIBER ✦

Pigeonhole and Choice Principles

✍ Scribed by Wolfgang Degen

Publisher: John Wiley and Sons
Year: 2000
Tongue: English
Weight: 300 KB
Volume: 46
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200008)46:3<313::aid-malq313>3.0.co;2-c

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Matrix identities and the pigeonhole pri

Matrix identities and the pigeonhole principle

✍ Michael Soltys; Alasdair Urquhart 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 83 KB

The Pigeonhole Principle and Fragments o

The Pigeonhole Principle and Fragments of Arithmetic

✍ C. Dimitracopoulos; J. Paris 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB 👁 1 views

Resolution proofs of generalized pigeonh

Resolution proofs of generalized pigeonhole principles

✍ Samuel R. Buss; Gyo&#x030B;rgy Turán 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 690 KB

Dual weak pigeonhole principle, Boolean

Dual weak pigeonhole principle, Boolean complexity, and derandomization

✍ Emil Jeřábek 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Degree complexity for a modified pigeonh

Degree complexity for a modified pigeonhole principle

✍ Maria Luisa Bonet; Nicola Galesi 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 164 KB

A New Proof of the Weak Pigeonhole Princ

A New Proof of the Weak Pigeonhole Principle

✍ Alexis Maciel; Toniann Pitassi; Alan R. Woods 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 213 KB

The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, J. B. Paris et al. (J. Symbolic Logic 53 (1988), 1235-1244) showed how to prove the weak pigeonhole principle with bounded-depth, quasipolynomialsize proofs.