From Brouwerian counter examples to the creating subject (Q1288970): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:43, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | From Brouwerian counter examples to the creating subject |
scientific article |
Statements
From Brouwerian counter examples to the creating subject (English)
0 references
10 October 1999
0 references
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.
0 references
intuitionism
0 references
Brouwerian counterexamples
0 references
intuitionistic continuum
0 references
creating subject
0 references
survey
0 references
indecomposability
0 references