Friedman, Harvey Set theoretic foundations for constructive analysis. (English) Zbl 0353.02014 Ann. Math. (2) 105, 1-28 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 35 Documents MSC: 03F55 Intuitionistic mathematics 03E70 Nonclassical and second-order set theories × Cite Format Result Cite Review PDF Full Text: DOI