## Equivalence of Rathjen’s continuum hypothesis and another form of the CH without choice

(This question is already posted on Math SE but it isn’t answered, so I ask same question on this site.) The following form of a continuum hypothesis occurs in Rathjen’s paper “Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman”: Every non-empty subset A of R is a surjective image of ω or R … Read more