Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
arXiv:1405.4481
Abstract
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
14 pages