Joan Rand Moschovakis

According to our database1, Joan Rand Moschovakis authored at least 10 papers between 1971 and 2016.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
A Translation Theorem For Restricted R-Formulas.
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


  Loading...