From Brouwerian counter examples to the creating subject (Q1288970): Difference between revisions

The paper begins with a detailed survey of the development of the creating subject method in Brouwer's work. The method is then used to show that every dense negative subset \(S\) of the intuitionistic continuum is ``indecomposable'' (i.e., if \(S\) is the disjoint sum of \(A\) and \(B\), then either \(A = S\) or \(B = S\)). This interesting result was announced earlier [\textit{D. van Dalen}, J. Symb. Logic 62, 1147-1150 (1997; Zbl 0895.03026)]. The proof is based on Kripke's schema and Brouwer's theorem stating the indecomposability of the continuum.