scientific article; zbMATH DE number 7577585

MaRDI QIDQ5101354

Matthew Hendtlass, Hannes Diener

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/1801.10136

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive analysisfunction convergenceIshihara's tricks

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Completeness: when enough is enough
• Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
• A constructive look at the completeness of the space (ℝ)
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
• Variations on a theme by Ishihara
• Constructive decidability of classical continuity