Joan Rand Moschovakis
According to our database^{1},
Joan Rand Moschovakis
authored at least 10 papers
between 1971 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at viaf.org

at www.oxy.edu

at andrej.com
On csauthors.net:
Bibliography
2016
A Translation Theorem For Restricted RFormulas.
FLAP, 2016
2012
Some axioms for constructive analysis.
Arch. Math. Log., 2012
2010
Unavoidable sequences in constructive analysis.
Math. Log. Q., 2010
2009
The Logic of Brouwer and Heyting.
Proceedings of the Logic from Russell to Church, 2009
2003
Classical and constructive hierarchies in extended intuitionistic analysis.
J. Symb. Log., 2003
2002
Analyzing realizability by Troelstra's methods.
Ann. Pure Appl. Logic, 2002
1996
A Classical View of the Intuitionistic Continuum.
Ann. Pure Appl. Logic, 1996
1994
More About Relatively Lawless Sequences.
J. Symb. Log., 1994
1987
Relative Lawlessness in Intuitionistic Analysis.
J. Symb. Log., 1987
1971
Can There be no Nonrecursive Functions?
J. Symb. Log., 1971