Cantor theorem and friends, in logical form

Annals of Pure and Applied Logic 164 (4):502-508 (2013)
  Copy   BIBTEX

Abstract

We prove a generalization of the hyper-game theorem by using an abstract version of inductively generated formal topology. As applications we show proofs for Cantor theorem, uncountability of the set of functions from N to N and Gödel theorem which use no diagonal argument

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.10.011

Links

PhilArchive



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

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

An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
Russell, His Paradoxes, and Cantor's Theorem: Part I.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):16-28.
Frege's Basic Law V and Cantor's Theorem.Manuel Bremer - manuscript
Russell, His Paradoxes, and Cantor's Theorem: Part II.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):29-41.
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
Grim, Omniscience, and Cantor’s Theorem.Martin Lembke - 2012 - Forum Philosophicum: International Journal for Philosophy 17 (2):211-223.
A Negation-free Proof of Cantor's Theorem.N. Raja - 2005 - Notre Dame Journal of Formal Logic 46 (2):231-233.
Comments on Lepore and Ludwig “conceptions of logical form”.Robert May - manuscript
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.
Reverse mathematics of prime factorization of ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.
Constructive Context.John L. Bell - unknown
Constructing Cantorian counterexamples.George Boolos - 1997 - Journal of Philosophical Logic 26 (3):237-239.
What is Wrong with Cantor's Diagonal Argument?R. T. Brady & P. A. Rush - 2008 - Logique Et Analyse 51 (1):185-219..
Logical Form: Its Structure and Derivation.Robert May - 1985 - MIT Press.
Librationist Closures of the Paradoxes.Frode Bjørdal - 2012 - Logic and Logical Philosophy 21 (4):323-361.

Analytics

Added to PP
2013-12-12

Downloads
30 (#529,678)

6 months
7 (#419,303)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

HIPAA Privacy Rule 2.0.Mark A. Rothstein - 2013 - Journal of Law, Medicine and Ethics 41 (2):525-528.
Becoming a Hybrid Entity: A Policy Option for Public Health.Sallie Milam & Melissa Moorehead - 2019 - Journal of Law, Medicine and Ethics 47 (S2):68-71.

Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Constructive characterizations of bar subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.

Add more references