Projective sets, intuitionistically

DOI10.4115/jla.2022.14.5arXiv1104.3077MaRDI QIDQ6170638

Wim Veldman

Publication date: 10 August 2023

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1104.3077

zbMATH Keywords

analytic setsco-analytic setscollapsing hierarchyintuitionistic separation theorems

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Intuitionistic mathematics (03F55)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Retracing Cantor's first steps in Brouwer's company
• Intuitionism and effective descriptive set theory
• Intuitionism: an inspiration?
• L. E. J. Brouwer: Intuitionism
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Mathematical logic: proof theory, type theory and constructive mathematics
• Two simple sets that are not positively Borel
• A Constructive Version of the Lusin Separation Theorem
• Brouwer and Souslin on Transfinite Cardinals
• The continuum hypothesis in intuitionism
• Classical and constructive hierarchies in extended intuitionistic analysis
• THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
• The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Points and Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item