Can There be no Nonrecursive Functions? - Joan Rand Moschovakis (J. Symb. Log., 1971)

Relative Lawlessness in Intuitionistic Analysis. - Joan Rand Moschovakis (J. Symb. Log., 1987)

More About Relatively Lawless Sequences. - Joan Rand Moschovakis (J. Symb. Log., 1994)

A Classical View of the Intuitionistic Continuum. - Joan Rand Moschovakis (Ann. Pure Appl. Log., 1996)

Analyzing realizability by Troelstra's methods. - Joan Rand Moschovakis (Ann. Pure Appl. Log., 2002)

Classical and constructive hierarchies in extended intuitionistic analysis. - Joan Rand Moschovakis (J. Symb. Log., 2003)

The Logic of Brouwer and Heyting. - Joan Rand Moschovakis (Logic from Russell to Church, 2009)

Unavoidable sequences in constructive analysis. - Joan Rand Moschovakis (Math. Log. Q., 2010)

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

A Translation Theorem For Restricted R-Formulas. - Joan Rand Moschovakis (FLAP, 2016)

Intuitionistic Analysis at the End of Time. - Joan Rand Moschovakis (Bull. Symb. Log., 2017)

Markov's Principle and Subsystems of intuitionistic Analysis. - Joan Rand Moschovakis (J. Symb. Log., 2019)

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019. - Dick de Jongh; Joan Rand Moschovakis (Bull. Symb. Log., 2020)

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

Solovay's Relative Consistency Proof for FIM and BI. - Joan Rand Moschovakis (Notre Dame J. Formal Log., 2021)