Joan Rand Moschovakis

According to our database, Joan Rand Moschovakis authored at least 15 papers between 1971 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Solovay's Relative Consistency Proof for FIM and BI.

Joan Rand Moschovakis

Notre Dame J. Formal Log., 2021

Minimum Classical Extensions of Constructive Theories.

Joan Rand Moschovakis, Garyfallia Vafeiadou

Proceedings of the Connecting with Computability, 2021

2020

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019.

Dick de Jongh, Joan Rand Moschovakis

Bull. Symb. Log., 2020

2019

Markov's Principle and Subsystems of intuitionistic Analysis.

Joan Rand Moschovakis

J. Symb. Log., 2019

2017

Intuitionistic Analysis at the End of Time.

Joan Rand Moschovakis

Bull. Symb. Log., 2017

2016

A Translation Theorem For Restricted R-Formulas.

Joan Rand Moschovakis

FLAP, 2016

2012

Some axioms for constructive analysis.

Joan Rand Moschovakis, Garyfallia Vafeiadou

Arch. Math. Log., 2012

2010

Unavoidable sequences in constructive analysis.

Joan Rand Moschovakis

Math. Log. Q., 2010

2009

The Logic of Brouwer and Heyting.

Joan Rand Moschovakis

Proceedings of the Logic from Russell to Church, 2009

2003

Classical and constructive hierarchies in extended intuitionistic analysis.

Joan Rand Moschovakis

J. Symb. Log., 2003

2002

Analyzing realizability by Troelstra's methods.

Joan Rand Moschovakis

Ann. Pure Appl. Log., 2002

1996

A Classical View of the Intuitionistic Continuum.

Joan Rand Moschovakis

Ann. Pure Appl. Log., 1996

1994

More About Relatively Lawless Sequences.

Joan Rand Moschovakis

J. Symb. Log., 1994

1987

Relative Lawlessness in Intuitionistic Analysis.

Joan Rand Moschovakis

J. Symb. Log., 1987

1971

Can There be no Nonrecursive Functions?

Joan Rand Moschovakis

J. Symb. Log., 1971