Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
Michael Rathjen
TL;DR
This paper proves a conjecture by Feferman showing the continuum hypothesis is indefinite within a semi-intuitionistic set theory, highlighting limitations of this logical framework.
Contribution
It establishes the indefiniteness of the continuum hypothesis relative to semi-intuitionistic set theories, addressing a longstanding conjecture.
Findings
Proves Feferman's conjecture on indefiniteness
Shows limitations of semi-intuitionistic set theories
Highlights the boundary of definability for the continuum hypothesis
Abstract
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.