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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / 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
    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

    Identifiers