Article contents
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
Published online by Cambridge University Press: 12 March 2014
Abstract
In intuitionistic analysis, Brouwer's Continuity Principle implies, together with an Axiom of Countable Choice, that the positively Borel sets form a genuinely growing hierarchy: every level of the hierarchy contains sets that do not occur at any lower level.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2008
References
REFERENCES
- 3
- Cited by