Converses of Bishop's lemma on located sets

DOI10.1016/S0019-3577(00)88570-5zbMath0976.03066WikidataQ125054851 ScholiaQ125054851MaRDI QIDQ5935882

Douglas S. Bridges

Publication date: 28 June 2001

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicscomplete located subsets of a metric space

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Consistency and independence results in general topology (54A35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Constructive mathematics: a foundation for computable analysis
• Constructive continuity
• A weak countable choice principle

This page was built for publication: Converses of Bishop's lemma on located sets