Constructive decidability of classical continuity

DOI10.1017/S096012951300042XzbMath1362.03055OpenAlexW2075508713MaRDI QIDQ5740671

Martín Hötzel Escardó

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

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

Related Items (2)

Smart Choices and the Selection Monad ⋮ Unnamed Item

Cites Work

• Metric spaces in synthetic topology
• Continuity and nondiscontinuity in constructive mathematics
• Modified bar recursion
• Unnamed Item
• Unnamed Item

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