Constructive decidability of classical continuity

DOI10.1017/S096012951300042XMaRDI QIDQ5740671zbMATH OpenOpenAlexFDO

Authors Martín Escardo

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012951300042x

Mathematics Subject Classification ID

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

Recommendations

• Continuity and nondiscontinuity in constructive mathematics
• What is continuity, constructively?
• A Constructive Uniform Continuity Theorem
• The weak König lemma and uniform continuity
• Continuity properties in constructive mathematics

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Continuity and nondiscontinuity in constructive mathematics
• Metric spaces in synthetic topology
• Modified bar recursion

Cited in

(6)

• scientific article; zbMATH DE number 7577585 (Why is no real title available?)
• Smart Choices and the Selection Monad
• scientific article; zbMATH DE number 4127573 (Why is no real title available?)
• scientific article; zbMATH DE number 5519284 (Why is no real title available?)
• The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
• Continuity, Constructibility, and Intuitivity

This page was built for publication: Constructive decidability of classical continuity

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