The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective

DOI10.2178/JSL/1208358742MaRDI QIDQ5387301zbMATH OpenOpenAlexFDO

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, http://hdl.handle.net/2066/72509

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
• scientific article; zbMATH DE number 218510
• A note on hierarchies of Borel type sets
• Two simple sets that are not positively Borel
• scientific article; zbMATH DE number 803269

Cites work

• scientific article; zbMATH DE number 732224 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• An intuitionistic proof of Kruskal's theorem
• Constructivism in mathematics. An introduction. Volume I
• Descriptive set theory
• Intuitionistische Untersuchungen der formalistischen Logik
• Points and Spaces
• The consistency of arithmetics
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Two simple sets that are not positively Borel

Cited in

(13)

• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• The effective Borel hierarchy
• scientific article; zbMATH DE number 218510 (Why is no real title available?)
• scientific article; zbMATH DE number 3885896 (Why is no real title available?)
• 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
• The double negation of the intermediate value theorem
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• Intuitionism and effective descriptive set theory
• Retracing Cantor's first steps in Brouwer's company
• Projective sets, intuitionistically

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)