What is continuity, constructively?

MaRDI QIDQ5310890zbMATH OpenFDO

Authors Peter Schuster

Publication date 15 October 2007

Full work available at URL http://www.jucs.org/jucs_11_12/what_is_continuity_constructively

zbMATH Keywords

constructive mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Recommendations

• scientific article; zbMATH DE number 2247257
• Continuity and nondiscontinuity in constructive mathematics
• scientific article; zbMATH DE number 2212005
• Continuity properties in constructive mathematics
• A Constructive Uniform Continuity Theorem

Cited in

(18)

• Is discontinuous reconstruction really a good idea?
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
• The continuum as a formal space
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• Characterising near continuity constructively
• Continuity and geometric logic
• scientific article; zbMATH DE number 27428 (Why is no real title available?)
• Continuity properties in constructive mathematics
• scientific article; zbMATH DE number 3997783 (Why is no real title available?)
• Constructive uniformities of pseudometrics and Bishop topologies
• Formal continuity implies uniform continuity near compact images on metric spaces
• scientific article; zbMATH DE number 2247257 (Why is no real title available?)
• Constructive decidability of classical continuity
• Metric spaces in synthetic topology
• Reflections on function spaces
• \(\epsilon\)-continuity and monotone operators
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• Glueing continuous functions constructively

This page was built for publication: What is continuity, constructively?

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