Bishop's Lemma

&
Mathematical Logic Quarterly 64 (1-2):49-54 (2018)
  Copy   BIBTEX

Abstract

Bishop's Lemma is a centrepiece in the development of constructive analysis. We show that its proof requires some form of the axiom of choice; and that the completeness requirement in Bishop's Lemma can be weakened and that there is a vast class of non‐complete spaces that Bishop's Lemma applies to.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201600041

Other Versions

No versions found

Links

PhilArchive



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

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

Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
Ramsey’s theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
König's lemma, weak König's lemma, and the decidable fan theorem.Makoto Fujiwara - 2021 - Mathematical Logic Quarterly 67 (2):241-257.
The constructive completion of the space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
A constructive proof of Craig's interpolation lemma for m-valued logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
Sequences of real functions on [0, 1] in constructive reverse mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.

Analytics

Added to PP
2018-04-19

Downloads
19 (#1,073,370)

6 months
4 (#1,246,940)

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

Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.

Add more references