Glueing continuous functions constructively

DOI10.1007/S00153-010-0189-4zbMath1203.03088OpenAlexW2040524109MaRDI QIDQ982187

Iris Loeb, Douglas S. Bridges

Publication date: 6 July 2010

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-010-0189-4

zbMATH Keywords

continuityconstructive mathematicsreverse mathematicsglueing

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Related Items (2)

On the constructive notion of closure maps ⋮ Sequences of real functions on [0,1 in constructive reverse mathematics]

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Techniques of constructive analysis
• Sequences of real functions on [0,1 in constructive reverse mathematics]
• Constructivism in mathematics. An introduction. Volume II
• Set theoretic foundations for constructive analysis
• http://logicandanalysis.org/index.php/jla/article/viewFile/114/41
• Compactness under constructive scrutiny
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Constructive set theory
• Complements of Intersections in Constructive Mathematics
• The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
• New Computational Paradigms

This page was built for publication: Glueing continuous functions constructively