Joan Rand Moschovakis

Publication Activity (10 Years)

Years Active: 1971-2021
Publications (10 Years): 6

Top Topics

Statistical Machine Translation

Natural Deduction

Relational Databases

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Joan Rand Moschovakis, Garyfallia Vafeiadou
Minimum Classical Extensions of Constructive Theories. CiE (2021)
Joan Rand Moschovakis
Solovay's Relative Consistency Proof for FIM and BI. Notre Dame J. Formal Log. 62 (4) (2021)
Dick de Jongh, Joan Rand Moschovakis
IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019. Bull. Symb. Log. 26 (3-4) (2020)
Joan Rand Moschovakis
Markov's Principle and Subsystems of intuitionistic Analysis. J. Symb. Log. 84 (2) (2019)
Joan Rand Moschovakis
Intuitionistic Analysis at the End of Time. Bull. Symb. Log. 23 (3) (2017)
Joan Rand Moschovakis
A Translation Theorem For Restricted R-Formulas. FLAP 3 (4) (2016)
Joan Rand Moschovakis, Garyfallia Vafeiadou
Some axioms for constructive analysis. Arch. Math. Log. 51 (5-6) (2012)
Joan Rand Moschovakis
Unavoidable sequences in constructive analysis. Math. Log. Q. 56 (2) (2010)
Joan Rand Moschovakis
Classical and constructive hierarchies in extended intuitionistic analysis. J. Symb. Log. 68 (3) (2003)
Joan Rand Moschovakis
Analyzing realizability by Troelstra's methods. Ann. Pure Appl. Log. 114 (1-3) (2002)
Joan Rand Moschovakis
A Classical View of the Intuitionistic Continuum. Ann. Pure Appl. Log. 81 (1-3) (1996)
Joan Rand Moschovakis
More About Relatively Lawless Sequences. J. Symb. Log. 59 (3) (1994)
Joan Rand Moschovakis
Relative Lawlessness in Intuitionistic Analysis. J. Symb. Log. 52 (1) (1987)
Joan Rand Moschovakis
Can There be no Nonrecursive Functions? J. Symb. Log. 36 (2) (1971)