Glueing continuous functions constructively

DOI10.1007/S00153-010-0189-4zbMATH Open1203.03088OpenAlexW2040524109MaRDI QIDQ982187FDOQ982187

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

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

zbMATH Keywords

continuityconstructive mathematicsreverse mathematicsglueing

Mathematics Subject Classification ID

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

Cites Work

• Set theoretic foundations for constructive analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Techniques of constructive analysis
• Title not available (Why is that?)
• Constructive set theory
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Title not available (Why is that?)
• Continuity properties in constructive mathematics
• New Computational Paradigms
• Sequences of real functions on [0,1] in constructive reverse mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuity and nondiscontinuity in constructive mathematics
• Compactness under constructive scrutiny
• Title not available (Why is that?)
• Constructive reverse investigations into differential equations
• Complements of Intersections in Constructive Mathematics
• The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem

Cited In (2)

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

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)