The Type Theoretic Interpretation of Constructive Set Theory

Studies in Logic and the Foundations of Mathematics

Volumn 96, Issue C, 1978, Pages 55-66

  Aczel, Peter ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (14)

1. P. Aczel, The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposium on Mathematical Logic, in Oulu 1974 Report No. 2 of Dept. Philosophy, University of Helsinki (1977) pp. 1–32.
2. M. Beeson, Principles of continuous choice and continuity of functions in formal systems for constructive mathematics, to appear in Annals of Math. Logic.
3. Bishop, E., Foundations of Constructive Analysis, 1967, McGraw-Hill.
4. A. Blass, Injectivity, Projectivity and the axiom of choice, to appear.
5. S. Feferman, A language and axioms for explicit mathematics, in Algebra and Logic, Springer Lecture Notes No. 450(1975) pp. 87–139.
6. Friedman, H., The consistency of set theory relative to a theory with intuitionistic logic. J.S.L. 38 (1973), 315–319.
7. Friedman, H., Set-theoretic foundations of constructive analysis. Annals of Maths. 105 (1977), 1–28.
8. R. Grayson, A sheaf approach to models of set theory, M.Sc. thesis Oxford (1975).
9. H. Jervell, Constructive Universes I, preprint (1977).
10. G. Leversha, Formal systems for constructive mathematics. Ph.D. thesis, Manchester University (1976).
11. Martin-Löf, P., An intuitionistic theory of types: Predicative part. Rose, H.E., Shepherdson, J.C., (eds.) Logic Colloquium '73, 1975, North Holland, 73–118.
12. Mayberry, J., The Consistency Problem for Set Theory: An essay on the Cantorian Foundations of Mathematics. Brit. J. Phil. Sci. 28 (1977), 1–34 (part I), pp. 137–170 (part II).
13. Myhill, J., Constructive Set Theory. J.S.L. 40 (1975), 347–382.
14. L. Pozsgay, Liberal intuitionism as a basis for set theory, in Proc. Symp. in Pure Maths. Vol. XIII, Proc. of AMS 1967, Axiomatic Set Theory Conference, Part I, ed. D. Scott.