Retracing Cantor's first steps in Brouwer's company

DOI10.1016/j.indag.2017.05.007zbMath1423.03250arXiv1612.02849OpenAlexW2567191818MaRDI QIDQ1688956

Wim Veldman

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Foundations: limits and generalizations, elementary topology of the line (26A03) Intuitionistic mathematics (03F55)

Related Items (2)

Projective sets, intuitionistically ⋮ Intuitionism: an inspiration?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Intuitionism and effective descriptive set theory
• Uniqueness of trigonometric series and descriptive set theory, 1870-1985
• Two simple sets that are not positively Borel
• Brouwer and Souslin on Transfinite Cardinals
• The continuum hypothesis in intuitionism
• Points and Spaces

This page was built for publication: Retracing Cantor's first steps in Brouwer's company