The continuum hypothesis in intuitionism

DOI10.2307/2273264zbMath0461.03014OpenAlexW2042597474MaRDI QIDQ3910521

Wim Veldman, W. Gielen, H. C. M. De Swart

Publication date: 1981

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

Full work available at URL: https://doi.org/10.2307/2273264

zbMATH Keywords

intuitionistic analysisanalytic setBrouwer-Kripke- axiomBrouwer's principle for functionsGödel's double-negation-translationintuitionistic Souslin theorem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Continuum hypothesis and Martin's axiom (03E50) Intuitionistic mathematics (03F55)

Related Items (8)

Spreads or choice sequences? ⋮ Retracing Cantor's first steps in Brouwer's company ⋮ Projective sets, intuitionistically ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Intuitionism: an inspiration? ⋮ Using Brouwer's continuity principle to pick stocks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The continuum hypothesis in intuitionism