Glueing continuous functions constructively

DOI10.1007/S00153-010-0189-4MaRDI QIDQ982187zbMATHOpenAlexFDO

Authors Douglas Bridges, Iris Loeb

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)

Recommendations

• What is continuity, constructively?
• Constructive continuity
• Sequential, pointwise, and uniform continuity: A constructive note
• scientific article; zbMATH DE number 4002092
• Sequential Continuity of Functions in Constructive Analysis

Cites work

• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 5676623 (Why is no real title available?)
• scientific article; zbMATH DE number 3812514 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1795219 (Why is no real title available?)
• scientific article; zbMATH DE number 770280 (Why is no real title available?)
• scientific article; zbMATH DE number 3262216 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Compactness under constructive scrutiny
• Complements of Intersections in Constructive Mathematics
• Constructive reverse investigations into differential equations
• Constructive set theory
• Constructivism in mathematics. An introduction. Volume II
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• New Computational Paradigms
• Sequences of real functions on [0,1] in constructive reverse mathematics
• Set theoretic foundations for constructive analysis
• Techniques of constructive analysis
• The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem

Cited in

(2)

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

This page was built for publication: Glueing continuous functions constructively

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