The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
From MaRDI portal
Publication:5387301
DOI10.2178/jsl/1208358742zbMath1148.03039MaRDI QIDQ5387301
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
Related Items
THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, The double negation of the intermediate value theorem, Intuitionism and effective descriptive set theory
Cites Work
- Unnamed Item
- Unnamed Item
- Descriptive set theory
- Constructivism in mathematics. An introduction. Volume I
- 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
- Intuitionistische Untersuchungen der formalistischen Logik
- Points and Spaces
- The consistency of arithmetics