How connected is the intuitionistic continuum?
Brouwer proved (by using the fan theorem) that the intuitionistic continuum is indecomposable (i.\ e.\ if \({\mathbb R} = A\cup B\) and \(A\cap B = \emptyset\), then \({\mathbb R}=A\) or \({\mathbb R} = B\)). The author of this note shows that (i) \({\mathbb R}\setminus \{0\}\) and (ii) \({\mathbb R}\setminus {\mathbb Q}\) are also indecomposable (assuming for (i) Kripke's schema (KS) and the indecomposability of \({\mathbb R}\); for (ii) the continuity principle, bar induction and KS) and points out the relevance of these results for intuitionistic dimension theory.
- To be or not to be constructive, that is not the question
- The Kripke schema in metric topology
- Indecomposability of R and R \ in Constructive Reverse Mathematics
- scientific article; zbMATH DE number 1749196 (Why is no real title available?)
- Connectedness of the continuum in intuitionistic mathematics
- A potentialist perspective on intuitionistic analysis
This page was built for publication: How connected is the intuitionistic continuum?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382464)
