The following pages link to Joan Rand Moschovakis (Q234596):
Displaying 11 items.
- Some axioms for constructive analysis (Q453178) (← links)
- (Q1688966) (redirect page) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Solovay's relative consistency proof for FIM and BI (Q2075283) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433) (← links)
- Classical and constructive hierarchies in extended intuitionistic analysis (Q4650268) (← links)
- IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019 (Q4984863) (← links)
- Iterated Definability, Lawless Sequences, and Brouwer’s Continuum (Q5221591) (← links)
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539) (← links)
