TY  - RPRT
TI  - Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
AU  - Michael Rathjen
PY  - 2014
UR  - https://arxiv.org/abs/1405.4481
ID  - 1405.4481
ER  -