Joan Rand Moschovakis

Available identifiers

zbMath Open moschovakis.joan-randDBLP71/5258WikidataQ20934537 ScholiaQ20934537MaRDI QIDQ234596

List of research outcomes

Publication	Date of Publication	Type
Minimum classical extensions of constructive theories	2022-03-22	Paper
Solovay's relative consistency proof for FIM and BI	2022-02-14	Paper
The strong Spector-Gandy Theorem for the higher analytical pointclasses	2022-02-07	Paper
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019	2021-04-21	Paper
Calibrating the negative interpretation	2021-01-25	Paper
Solovay's Relative Consistency Proof for FIM and BI	2021-01-14	Paper
MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS	2020-04-06	Paper
Iterated Definability, Lawless Sequences, and Brouwer’s Continuum	2020-04-02	Paper
Intuitionistic Mathematics and Logic	2020-03-04	Paper
Note on $\Pi^0_{n+1}$-LEM, $\Sigma^0_{n+1}$-LEM and $\Sigma^0_{n+1}$-DNE	2018-07-27	Paper
Intuitionism and effective descriptive set theory	2018-01-12	Paper
INTUITIONISTIC ANALYSIS AT THE END OF TIME	2018-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4981453	2014-06-24	Paper
Some axioms for constructive analysis	2012-09-18	Paper
Unavoidable sequences in constructive analysis	2010-04-15	Paper
Classical and constructive hierarchies in extended intuitionistic analysis	2005-02-09	Paper
Analyzing realizability by Troelstra's methods	2003-01-22	Paper
More about relatively lawless sequences	1997-08-04	Paper
A classical view of the intuitionistic continuum	1997-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4281259	1994-09-01	Paper
Relative lawlessness in intuitionistic analysis	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926577	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3665097	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4404863	1973-01-01	Paper
Can there be no nonrecursive functions?	1971-01-01	Paper
A note onk-axiomatizations of identity	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5607957	1967-01-01	Paper

Research outcomes over time

This page was built for person: Joan Rand Moschovakis