THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY

DOI10.1017/S1755020309090121zbMath1177.03061MaRDI QIDQ5323793

Wim Veldman

Publication date: 30 July 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

Polish spaceBorel hierarchyfine structureintuitionistic analysisintuitionistic descriptive set theoryBrouwer's Continuity Principlepositively Borel setsThesis on Bars

Mathematics Subject Classification ID

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

Related Items (2)

Intuitionism and effective descriptive set theory ⋮ Projective sets, intuitionistically

Cites Work

• Unnamed Item
• Unnamed Item
• An intuitionistic proof of Kruskal's theorem
• Two simple sets that are not positively Borel
• The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
• Points and Spaces

This page was built for publication: THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY