✦ LIBER ✦

Another proof of the intuitionistic Ramsey theorem

✍ Scribed by Thierry Coquand

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 918 KB
Volume: 115
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90055-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Another Proof of Gluck's Theorem

✍ Hiroshi Matsuyama 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 56 KB

In this article, G is a permutation group on a finite set . We write permutations on the right, so that αg is the image of α ∈ by the action of g ∈ G. A subset S of is said to be G-regular if the stabilizer g ∈ G Sg = S is the identity. Our purpose is to give a direct short proof of the following t

Another proof of Jackson's theorem

✍ Eli Passow 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 101 KB

Yet another proof of the II-theorem

✍ César Mendoza 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 170 KB

Another proof of dilworth's decompositio

Another proof of dilworth's decomposition theorem

✍ Oliver Pretzel 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Another simple proof of Kirchberger's th

Another simple proof of Kirchberger's theorem

✍ R.J Webster 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 102 KB

Another proof of the Folkman-Rado-Sander

Another proof of the Folkman-Rado-Sanders theorem

✍ Jaroslav Nešetřil; Vojtěch Rödl 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 93 KB