Connectedness of the continuum in intuitionistic mathematics
From MaRDI portal
Publication:5109234
DOI10.1002/malq.201700057OpenAlexW2898285038WikidataQ129011573 ScholiaQ129011573MaRDI QIDQ5109234
Publication date: 11 May 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201700057
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Indecomposability of R and R \ in Constructive Reverse Mathematics
- Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
- How connected is the intuitionistic continuum?
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
This page was built for publication: Connectedness of the continuum in intuitionistic mathematics