An Intuitionistic Version of Cantor's Theorem

&
Mathematical Logic Quarterly 42 (1):446-448 (1996)
  Copy   BIBTEX

Abstract

An intuitionistic version of Cantor's theorem, which shows that there is no surjective function from the type of the natural numbers N into the type N → N of the functions from N into N, is proved within Martin-Löf's Intuitionistic Type Theory with the universe of the small types

Categories

Keywords

Reprint years

DOI

10.1002/malq.19960420136

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
Review: D. van Dantzig, A Remark and a Problem Concerning the Intuitionistic Form of Cantor's Intersection Theorem. [REVIEW]Evert Beth - 1944 - Journal of Symbolic Logic 9 (1):21-21.
A Negation-free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.
Russell, His Paradoxes, and Cantor's Theorem: Part I.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):16-28.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Decidability in Intuitionistic Type Theory is Functionally Decidable.Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):300-304.
Grim, Omniscience, and Cantor’s Theorem.Martin Lembke - 2012 - Forum Philosophicum: International Journal for Philosophy 17 (2):211-223.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Wittgenstein’s analysis on Cantor’s diagonal argument.Chaohui Zhuang - manuscript
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
Constructing Cantorian counterexamples.George Boolos - 1997 - Journal of Philosophical Logic 26 (3):237-239.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.

Analytics

Added to PP
2013-12-01

Downloads
34 (#458,553)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references