The modified realizability topos

Journal of Pure and Applied Algebra

Volumn 116, Issue 1-3, 1997, Pages 273-289

  Van Oosten, Jaap ^a,b,c  

^a AARHUS UNIVERSITY   (Denmark)

^b UTRECHT UNIVERSITY   (Netherlands)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031588879     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00101-1     Document Type: Article

References (13)

1. [1] R. Grayson, Modified realisability toposes, manuscript, Münster, 1981.
2. [2] J.M.E. Hyland, The effective topos, in: A.S. Troelstra and D. van Dalen, Eds., The L.E.J. Brouwer Centenary Symp. (North-Holland, Amsterdam, 1982).
3. [3] J.M.E. Hyland, P.T. Johnstone and A.M. Pitts, Tripos theory, Math. Proc. Camb. Phil. Soc. 88 (1980) 205-232.
4. [4] J.M.E. Hyland and L. Ong, Modified realizability toposes and strong normalization proofs, in: M. Bezem and J.F. Groote, Eds., Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, Vol. 664 (Springer, Berlin, 1993) 179-194.
5. [5] P.T. Johnstone, Topos Theory (Academic Press, New York, 1976).
6. [6] G. Kreisel, Interpretation of analysis by means of constructive functional of finite types, in: A. Heyting Ed., Constructivity in Mathematics (North-Holland, Amsterdam, 1959) 101-128.
7. [7] G. Kreisel, On weak completeness of intuitionistic predicate logic, J. Symbolic Logic 27 (1962) 139-158.
8. [8] L. Ong and E. Ritter, A generic strong normalization argument: application to the calculus of constructions, in: Computer Science Logic: 7th Workshop CSL93, Lecture Notes in Computer Science, Vol. 832 (Springer, Berlin, 1994).
9. [9] J. van Oosten, Exercises in realizability, Thesis, Amsterdam, 1991.
10. [10] A.M. Pitts, The theory of triposes, Thesis, Cambridge, 1981.
11. [11] E. Robinson and G. Rosolini, Colimit completions and the effective topos, J. Symbolic Logic 55 (1990) 678-699.
12. [12] T. Streicher, Investigations into intensional type theory, Habilitationsschrift, München, 1993.
13. [13] A.S. Troelstra, Metamathematical investigation of intuitionistic arithmetic and analysis, Lecture Notes in Math., Vol. 344 (Springer, Berlin, 1073).