𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cantor’s Little Theorem

✍ Scribed by Arindama Singh

Publisher
Indian Academy of Sciences
Year
2004
Tongue
English
Weight
450 KB
Volume
9
Category
Article
ISSN
0971-8044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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.