Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655] [Book Review]

, , , &
Annals of Pure and Applied Logic 168 (8):1605-1608 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.04.004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,245

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 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.
WKL0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]. [REVIEW]Wolfgang Rump - 2023 - Annals of Pure and Applied Logic 174 (3):103209.
Ann. Pure Appl. Logic.Jean H. Gallier - 1997 - Annals of Pure and Applied Logic 89 (2-3):275.
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.
Ann. pure appl. logic : Erratum to “coalgebraic logic” 96 277–317.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 99 (1-3):241-259.
Corrigendum to “The d.r.e. degrees are not dense” [Ann. Pure Appl. Logic 55 (1991) 125–151].S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp & Robert I. Soare - 2017 - Annals of Pure and Applied Logic 168 (12):2164-2165.

Analytics

Added to PP
2017-05-01

Downloads
26 (#721,915)

6 months
3 (#1,454,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references