The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

, &
Annals of Pure and Applied Logic 163 (6):623-655 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.10.006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655]. [REVIEW]Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone & Matthias Schröder - 2017 - Annals of Pure and Applied Logic 168 (8):1605-1608.
WKL0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
König's lemma, weak König's lemma, and the decidable fan theorem.Makoto Fujiwara - 2021 - Mathematical Logic Quarterly 67 (2):241-257.
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
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.
Bounded functional interpretation and feasible analysis.Fernando Ferreira & Paulo Oliva - 2007 - Annals of Pure and Applied Logic 145 (2):115-129.
A measure-theoretic proof of Turing incomparability.Chris J. Conidis - 2010 - Annals of Pure and Applied Logic 162 (1):83-88.
A non-inversion theorem for the jump operator.Richard A. Shore - 1988 - Annals of Pure and Applied Logic 40 (3):277-303.
Ramsey’s theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.

Analytics

Added to PP
2013-10-27

Downloads
61 (#349,239)

6 months
15 (#206,160)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Completion of choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
Embeddings between well-orderings: Computability-theoretic reductions.Jun Le Goh - 2020 - Annals of Pure and Applied Logic 171 (6):102789.
Algebraic properties of the first-order part of a problem.Giovanni Soldà & Manlio Valenti - 2023 - Annals of Pure and Applied Logic 174 (7):103270.

View all 17 citations / Add more citations

References found in this work

Closed choice and a uniform low basis theorem.Vasco Brattka, Matthew de Brecht & Arno Pauly - 2012 - Annals of Pure and Applied Logic 163 (8):986-1008.
Effective Borel measurability and reducibility of functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.

View all 13 references / Add more references