Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem

Annals of Pure and Applied Logic 163 (8):981-985 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.12.021

Links

PhilArchive



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

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

The weak König lemma and uniform continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma.Vasco Brattka, Guido Gherardi & Alberto Marcone - 2012 - Annals of Pure and Applied Logic 163 (6):623-655.
Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem.Douglas Bridges & Hannes Diener - 2007 - Journal of Symbolic Logic 72 (4):1379 - 1384.
Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
Effective choice and boundedness principles in computable analysis.Vasco Brattka & Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (1):73-117.
Relevant implication and the weak deduction theorem.Diderik Batens - 1987 - Studia Logica 46 (3):239 - 245.
How weak is the t-scheme?Jeffrey Ketland - manuscript
Uniform inseparability in explicit mathematics.Andrea Cantini & Pierluigi Minari - 1999 - Journal of Symbolic Logic 64 (1):313-326.
A continuity principle, a version of Baire's theorem and a boundedness principle.Hajime Ishihara & Peter Schuster - 2008 - Journal of Symbolic Logic 73 (4):1354-1360.

Analytics

Added to PP
2013-10-27

Downloads
28 (#538,947)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
The weak König lemma and uniform continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.

Add more references