Two simple sets that are not positively Borel

DOI10.1016/j.apal.2004.12.004zbMath1093.03034OpenAlexW2588855338MaRDI QIDQ2488272

Wim Veldman

Publication date: 25 August 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/60352

zbMATH Keywords

descriptive set theoryintuitionistic mathematicsBorel Hierarchy Theorem

Mathematics Subject Classification ID

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

Related Items

THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY ⋮ Equality and equivalence, intuitionistically ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Retracing Cantor's first steps in Brouwer's company ⋮ Projective sets, intuitionistically ⋮ The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective ⋮ Intuitionism: an inspiration? ⋮ Finite sets and infinite sets in weak intuitionistic arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Constructivism in mathematics. An introduction. Volume I
• An intuitionistic proof of Kruskal's theorem
• Classical and constructive hierarchies in extended intuitionistic analysis
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Points and Spaces