Joan Rand Moschovakis

15 papers C 1Journal 13
YearRankTypeTitle / Venue / Authors
2021 C conf
Minimum Classical Extensions of Constructive Theories.
CiE
Joan Rand Moschovakis, Garyfallia Vafeiadou
2021 J jnl
Solovay's Relative Consistency Proof for FIM and BI.
Notre Dame J. Formal Log.
Joan Rand Moschovakis
2020 J jnl
IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019.
Bull. Symb. Log.
Dick de Jongh, Joan Rand Moschovakis
2019 J jnl
Markov's Principle and Subsystems of intuitionistic Analysis.
J. Symb. Log.
Joan Rand Moschovakis
2017 J jnl
Intuitionistic Analysis at the End of Time.
Bull. Symb. Log.
Joan Rand Moschovakis
2016 J jnl
A Translation Theorem For Restricted R-Formulas.
FLAP
Joan Rand Moschovakis
2012 J jnl
Some axioms for constructive analysis.
Arch. Math. Log.
Joan Rand Moschovakis, Garyfallia Vafeiadou
2010 J jnl
Unavoidable sequences in constructive analysis.
Math. Log. Q.
Joan Rand Moschovakis
2009 — ch.
The Logic of Brouwer and Heyting.
Logic from Russell to Church
Joan Rand Moschovakis
2003 J jnl
Classical and constructive hierarchies in extended intuitionistic analysis.
J. Symb. Log.
Joan Rand Moschovakis
2002 J jnl
Analyzing realizability by Troelstra's methods.
Ann. Pure Appl. Log.
Joan Rand Moschovakis
1996 J jnl
A Classical View of the Intuitionistic Continuum.
Ann. Pure Appl. Log.
Joan Rand Moschovakis
1994 J jnl
More About Relatively Lawless Sequences.
J. Symb. Log.
Joan Rand Moschovakis
1987 J jnl
Relative Lawlessness in Intuitionistic Analysis.
J. Symb. Log.
Joan Rand Moschovakis
1971 J jnl
Can There be no Nonrecursive Functions?
J. Symb. Log.
Joan Rand Moschovakis