Extending the topological interpretation to intuitionistic analysis, II

Studies in Logic and the Foundations of Mathematics

Volumn 60, Issue C, 1970, Pages 235-255

  Scott, Dana ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956949565     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)70755-9     Document Type: Article

References (14)

1. E. Bishop, Foundations of constructive analysis, New York (1967).
2. M. Fitting, Intuitionistic model theory and the Cohen independence proofs, these proceedings 219–226.
3. A. Heyting, Intuitionism, an introduction, Amsterdam (1956).
4. S. C. Kleene and R. E. Vesley, Foundations of intuitionistic mathematics, Amsterdam (1965).
5. Kreisel, G., A remark on free choice sequences and the topological completeness proofs. J. Symb. Logic 23 (1958), 369–388.
6. G. Kreisel, Mathematical logic, in Lectures on modern mathematics, vol. III, ed. T. L. Saaty, New York (1965) 95–195.
7. G. Kreisel, Informal rigour and completeness proofs, in Problems in the philosophy of mathematics, ed. I. Lakatos, Amsterdam (1967) 138–171, with following discussion.
8. Kreisel, G., Lawless sequences of natural number. Compositio Math. 20 (1968), 222–248.
9. Myhill, J., Notes towards an axiomatization of intuitionistic analysis. Logique et Analyse 35 (1967), 280–297.
10. Rasiowa, H., Sikorski, R., The mathematics of metamathematics, 1963, Warsaw.
11. Scott, D., A proof of the independence of the continuum Hypothesis. Math. Systems Theory 1 (1967), 89–111.
12. Scott, D., Extending the topological interpretation to intuitionistic analysis. Compositio Math. 20 (1968), 194–210.
13. D. Scott and R. Solovay, Boolean-valued models for set theory, to appear.
14. Troelstra, A.S., The theory of choice sequences. van Rootselaar, B., Staal, J.F., (eds.) Logic, methodology and philosophy of science III, 1968, North-Holland, Amsterdam, 201–223.