Compactness and continuity, constructively revisited

DOI10.1007/3-540-45793-3_7MaRDI QIDQ4411817zbMATH OpenFDO

Authors Douglas Bridges, Hajime Ishihara, Peter Schuster

Publication date 10 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2471/24710089.htm

zbMATH Keywords

compact metric spacesconstructive analysisuniform continuity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Compact (locally compact) metric spaces (54E45)

Recommendations

• Compactness under constructive scrutiny
• Compactness in constructive analysis revisited
• A Weak Constructive Sequential Compactness Property and the Fan Theorem
• scientific article; zbMATH DE number 2247263
• Continuity and nondiscontinuity in constructive mathematics

Cited in

(13)

• Compactness in constructive analysis revisited
• Unique existence, approximate solutions, and countable choice.
• Intuitionistic sequential compactness?
• Constructive strong regularity and the extension property of a compactification
• Strong continuity implies uniform sequential continuity
• Z-stability in constructive analysis
• Construction of ball spaces and the notion of continuity
• Limited Omniscience and the Bolzano-Weierstrass Principle
• scientific article; zbMATH DE number 721942 (Why is no real title available?)
• scientific article; zbMATH DE number 1941463 (Why is no real title available?)
• scientific article; zbMATH DE number 3277271 (Why is no real title available?)
• A Weak Constructive Sequential Compactness Property and the Fan Theorem
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)

This page was built for publication: Compactness and continuity, constructively revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411817)