Variations on a theme by Ishihara

DOI10.1017/S0960129513000261zbMath1362.03054MaRDI QIDQ5740670

Hannes Diener

Publication date: 27 July 2016

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

Mathematics Subject Classification ID

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

Related Items (4)

ON THE UNCOUNTABILITY OF ⋮ Bishop's Lemma ⋮ Completeness: when enough is enough ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Techniques of constructive analysis
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Bounded variation implies regulated: a constructive proof

This page was built for publication: Variations on a theme by Ishihara