Some axioms for constructive analysis. - Joan Rand Moschovakis; Garyfallia Vafeiadou (Arch. Math. Log., 2012)

Minimum Classical Extensions of Constructive Theories. - Joan Rand Moschovakis; Garyfallia Vafeiadou (CiE, 2021)