✦ LIBER ✦

A lower bound on the size of resolution proofs of the Ramsey theorem

✍ Scribed by Pavel Pudlák

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Another proof of the intuitionistic Rams

✍ Thierry Coquand 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 918 KB

Lower variance bounds and a new proof of

✍ T Cacoullos; V Papathanasiou 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 428 KB

A lower bound on the size of molecules

✍ Hugo R. Alarcón; Rafael D. Benguria 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 341 KB

A Simple Proof of the Upper Bound Theore

✍ Alon, N.; Kalai, G. 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 245 KB

A short proof of the restricted Ramsey t

✍ H.J Prömel; B Voigt 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 400 KB

A lower bound on the size of crystalline

✍ Thordur Jonsson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 238 KB