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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,516

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

Tarski’s Undefinability Theorem and the Diagonal Lemma.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (3):489-498.
A note on a theorem of Ax.Piotr Kowalski - 2008 - Annals of Pure and Applied Logic 156 (1):96-109.
Gödel Incompleteness and Turing Completeness.Ramón Casares - manuscript
An existential locality theorem.Martin Grohe & Stefan Wöhrle - 2004 - Annals of Pure and Applied Logic 129 (1-3):131-148.
Applications of cut-free infinitary derivations to generalized recursion theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
Spatiality and classical logic.Milena Stefanova & Silvio Valentini - 2011 - Mathematical Logic Quarterly 57 (4):432-440.
Game-theoretic inductive definability.Juha Oikkonen & Jouko Väänänen - 1993 - Annals of Pure and Applied Logic 65 (3):265-306.
Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
A semantical storage operator theorem for all types.Christophe Raffalli - 1998 - Annals of Pure and Applied Logic 91 (1):17-31.

Analytics

Added to PP
2013-12-12

Downloads
43 (#514,100)

6 months
10 (#388,339)

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