The following pages link to (Q5597506):
Displaying 6 items.
- Unavoidable sequences in constructive analysis (Q3552398) (← links)
- INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Connectedness of the continuum in intuitionistic mathematics (Q5109234) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
