The following pages link to Joan Rand Moschovakis (Q234596):
Displaying 23 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)
- Unavoidable sequences in constructive analysis (Q3552398) (← links)
- (Q3665097) (← links)
- Relative lawlessness in intuitionistic analysis (Q3778020) (← links)
- (Q3926577) (← links)
- (Q4281259) (← links)
- More about relatively lawless sequences (Q4314672) (← links)
- (Q4404863) (← links)
- INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433) (← links)
- Classical and constructive hierarchies in extended intuitionistic analysis (Q4650268) (← links)
- (Q4981453) (← 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)
- A note onk-axiomatizations of identity (Q5588584) (← links)
- (Q5607957) (← links)
- Can there be no nonrecursive functions? (Q5659520) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
