✦ LIBER ✦

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

✍ Scribed by Vasco Brattka; Guido Gherardi; Alberto Marcone

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Aligning the weak König lemma, the unifo

✍ Josef Berger 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 208 KB

The principle of the excluded third and

✍ J. Billing 📂 Article 📅 1949 🏛 Springer Netherlands 🌐 English ⚖ 49 KB

Proofs of the Cantor-Bernstein Theorem |

✍ Hinkis, Arie 📂 Article 📅 2012 🏛 Springer Basel ⚖ 82 KB

Historians and Philosophers of Logic: Ar

✍ Moore, Gregory H. 📂 Article 📅 1999 🏛 Taylor and Francis Group 🌐 English ⚖ 234 KB