ISSN:
1572-8730
Keywords:
intuitionism
;
Brouwerian counter examples
;
continuum
;
creating subject
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the ‘creating subject’ technique. The method allowed stronger refutations of classical principles. Here it is used to show that ‘negative dense’ subsets of the continuum are indecomposable.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1026411905257
Permalink