Bishop's Lemma

descriptionPublicationkeyboard_double_arrow_right Article 01 Apr 2018 English Publisher:WileyJournal:Mathematical Logic Quarterly, volume 64, pages 49-54 (issn: 0942-5616, eissn: 1521-3870,

Copyright policy )

Authors: Hannes Diener; Matthew Hendtlass;

doi: 10.1002/malq.201600041

Bishop's Lemma

- Summary
- Subjects
- Metrics

Abstract

AbstractBishop'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.

Related Organizations

University of Canterbury
New Zealand

Keywords

Axiom of choice and related propositions, Constructive and recursive analysis

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

0

Average

Fields of Science (3) View all

Fields of Science

Upload OA version

Are you the author of this publication? Upload your Open Access version to Zenodo!

It’s fast and easy, just two clicks!

uploadUpload now