The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective

DOI10.2178/JSL/1208358742zbMath1148.03039OpenAlexW2067028747MaRDI QIDQ5387301

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

zbMATH Keywords

intuitionistic mathematics, descriptive set theory, Borel sets, the Borel hierarchy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Intuitionistic mathematics (03F55)

Related Items (5)

THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Intuitionism and effective descriptive set theory ⋮ Projective sets, intuitionistically ⋮ The double negation of the intermediate value theorem

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

This page was built for publication: The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective