Joan Rand Moschovakis

Available identifiers

zbMath Open moschovakis.joan-randWikidataQ20934537 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joan Rand Moschovakis