Joan Rand Moschovakis - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2021

Minimum Classical Extensions of Constructive TheoriesJoan Rand Moschovakis, Garyfallia Vafeiadou. CiE 2021: 353-362 [doi]

Solovay's Relative Consistency Proof for FIM and BIJoan Rand Moschovakis. ndjfl, 62(4), 2021. [doi]

2020

IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019Dick De Jongh, Joan Rand Moschovakis. bsl, 26(3-4):293-295, 2020. [doi]

2019

Markov's Principle and Subsystems of intuitionistic AnalysisJoan Rand Moschovakis. JSYML, 84(2):870-876, 2019. [doi]

2017

Intuitionistic Analysis at the End of TimeJoan Rand Moschovakis. bsl, 23(3):279-295, 2017. [doi]

2016

A Translation Theorem For Restricted R-FormulasJoan Rand Moschovakis. flap, 3(4):669-680, 2016. [doi]

2012

Some axioms for constructive analysisJoan Rand Moschovakis, Garyfallia Vafeiadou. AML, 51(5-6):443-459, 2012. [doi]

2010

Unavoidable sequences in constructive analysisJoan Rand Moschovakis. mlq, 56(2):205-215, 2010. [doi]

2009

The Logic of Brouwer and HeytingJoan Rand Moschovakis. In Dov M. Gabbay, John Woods, editors, Logic from Russell to Church. Volume 5 of Handbook of the History of Logic, pages 77-125, Elsevier, 2009. [doi]

2003

Classical and constructive hierarchies in extended intuitionistic analysisJoan Rand Moschovakis. JSYML, 68(3):1015-1043, 2003.

2002

Analyzing realizability by Troelstra s methodsJoan Rand Moschovakis. APAL, 114(1-3):203-225, 2002.

1996

A Classical View of the Intuitionistic ContinuumJoan Rand Moschovakis. APAL, 81(1-3):9-24, 1996.

1994

More About Relatively Lawless SequencesJoan Rand Moschovakis. JSYML, 59(3):813-829, 1994.

1987

Relative Lawlessness in Intuitionistic AnalysisJoan Rand Moschovakis. JSYML, 52(1):68-88, 1987.

1971

Can There be no Nonrecursive Functions?Joan Rand Moschovakis. JSYML, 36(2):309-315, 1971.

Sign in or sign up to see more results.

runs on WebDSL