John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28.

R J Grayson

doi:10.2307/2273237

John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28.

R J Grayson

https://doi.org/10.2307/2273237

Copy DOI

Journal: The Journal of Symbolic Logic

Publication Date: Dec 1, 1981

#Journal Of Symbolic Logic #Annals Of Mathematics + Show 7 more

Abstract
Full-Text PDF
Similar Papers

Abstract

John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28. - Volume 46 Issue 4

Full Text