W. Gielen Harrie C. M. de Swart Wim Veldman The Continuum Hypothesis in Intuitionism. 121-136 1981 46 J. Symb. Log. 1 db/journals/jsyml/jsyml46.html#GielenSV81