Constructive decidability of classical continuity

DOI10.1017/S096012951300042XzbMATH Open1362.03055OpenAlexW2075508713MaRDI QIDQ5740671FDOQ5740671

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Metric spaces in synthetic topology
• Modified bar recursion
• Continuity and nondiscontinuity in constructive mathematics

Cited In (6)

• Title not available (Why is that?)
• Smart Choices and the Selection Monad
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)