On the necessity of some topological spaces

DOI10.1007/978-3-031-08740-0_14OpenAlexW4285236051MaRDI QIDQ2104265

Robert S. Lubarsky

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_14

zbMATH Keywords

constructive mathematicstopological models

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Dependent choice, `quote' and the clock
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
• SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
• Geometric spaces with no points
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II
• A continuity principle, a version of Baire's theorem and a boundedness principle
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory

This page was built for publication: On the necessity of some topological spaces