How connected is the intuitionistic continuum? (Q4382464)

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.