Formal Spaces

Studies in Logic and the Foundations of Mathematics

Volumn 110, Issue C, 1982, Pages 107-122

  Fourman, M P ^a   Grayson, R J ^b  

^a Columbia University ^*  (United States)

^b Institut für Mathematische Logik   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79959273714     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(09)70126-0     Document Type: Article

References (9)

1. Fourman, M.P. (1982): Continuous truth, to appear.
2. Fourman, M.P., Hyland, J.M.E., Sheaf models for analysis, in Applications of Sheaves. Springer Lecture Notes 753 (1979), 280–301.
3. Fourman, M.P., Scott, D.S., Sheaves and Logic, in Applications of Sheaves. Springer Lecture Notes, 753, 1979.
4. Grayson, R.J. (1982): Constructive properties of frames, in preparation.
5. Johnstone, P.T., Open maps of toposes. Manuscripta Mathematica 31 (1980), 214–247.
6. Johnstone, P.T. (1982): Stone spaces, London Mathematical Society Lecture Notes, to appear.
7. Joyal, A. and Tierney, M. (1982): Open maps and descent, to appear.
8. Makkai, M, Reyes, G.E., First-order categorical Logic. Springer Lecture Notes, 611, 1977.
9. Troelstra, A.S. (1980): Extended bar induction of type zero, in The Kleene Symposium, eds. Barwise, Keisler and Kunen, Studies in Logic, vol. 101, p.277, North-Holland, 277–316.