Indefiniteness in semi-intuitionistic set theories: On a conjecture of   Feferman
  The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory. 
Michael Rathjen
math.LO