𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cantor's Theorem and Paradoxical Classes

✍ Scribed by Z. Šikić

Publisher
John Wiley and Sons
Year
1986
Tongue
English
Weight
302 KB
Volume
32
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cantor’s Little Theorem
Cantor’s Little Theorem
✍ Arindama Singh 📂 Article 📅 2004 🏛 Indian Academy of Sciences 🌐 English ⚖ 450 KB
An Intuitionistic Version of Cantor's Th
An Intuitionistic Version of Cantor's Theorem
✍ Dario Maguolo; Silvio Valentini 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB 👁 1 views

An intuitionistic version of Cantor's theorem, which shows that there is no surjective function from the type of the natural numbers Af into the type N + h/ of the functions from N into N, is proved within Martin-Lijf's Intuitionistic Type Theory with the universe of the small types.