The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
From MaRDI portal
Publication:5387301
DOI10.2178/JSL/1208358742zbMATH Open1148.03039OpenAlexW2067028747MaRDI QIDQ5387301FDOQ5387301
Authors: Wim Veldman 
Publication date: 8 May 2008
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1208358742
Recommendations
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- The consistency of arithmetics
- Descriptive set theory
- Intuitionistische Untersuchungen der formalistischen Logik
- Title not available (Why is that?)
- An intuitionistic proof of Kruskal's theorem
- Two simple sets that are not positively Borel
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Points and Spaces
- Title not available (Why is that?)
Cited In (13)
- The effective Borel hierarchy
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Title not available (Why is that?)
- Title not available (Why is that?)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY
- THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
- Classical and constructive hierarchies in extended intuitionistic analysis
- Two simple sets that are not positively Borel
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
- The double negation of the intermediate value theorem
- Projective sets, intuitionistically
- Intuitionism and effective descriptive set theory
- Retracing Cantor's first steps in Brouwer's company
This page was built for publication: The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387301)
