Two remarks on the Lifschitz realizability topos

Journal of Symbolic Logic

Volumn 61, Issue 1, 1996, Pages 70-79

  Van Oosten, Jaap ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030534813     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275598     Document Type: Article

References (13)

1. J. M. E. HYLAND, The effective topos, The L. E. J. Brower centenary symposium (Troelstra and Van Dalen, editors), North-Holland, 1982, pp. 165-216.
2. _, A small complete category, Annals of Pure and Applied Logic, vol. 40 (1988), pp. 135-165.
3. _, First steps in synthetic domain theory, Cateogry theory. proceedings of the conference in Como 1990 (Carboni, Pedicchio, and Rosolini, editors), Lecture Notes in Mathematics, no. 1488, Springer, 1991, pp. 131-156.
4. J. M. E. HYLAND, P. T. JOHNSTONE, and A. M. PITTS, Tripos theory, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 88 (1980), pp. 205-232.
5. J. M. E. HYLAND, E. ROBINSON, and G. ROSOLINI, Algebraic types in PER models, Mathematical foundations of programming language semantics (Main, Mislove, et al., editors), Lecture Notes in Computer Science, no. 442, Springer, 1990, pp. 333-350.
6. _, The discrete objects in the effective topos, Proceedings of the London Mathematical Society, vol. 60 (1990), pp. 1-36.
7. P. T. JOHNSTONE, Topos theory, Academic Press, 1976.
8. D. LEIVANT, Intuitionistic formal systems, Harvey Friedman's research on the foundations of mathematics (Harrington et al., editors), North Holland, 1985.
9. 0!, Proceedings of the American Mathematical Society, vol. 73 (1979), pp. 101-106.
10. W. PHOA, Relative computability in the effective topos, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 106 (1989), pp. 419-422.
11. G. ROSOLINI, About modest sets, International Journal on the Foundations of Computer Science, vol. 1 (1990), pp. 341-353.
12. J. VAN OOSTEN, Liftschitz' realizability, this JOURNAL, vol. 55 (1990), pp. 805-821.
13. _, Extension of Lifschitz' realizability to higher arithmetic, and a solution to a problem of F. Richman, this JOURNAL, vol. 56 (1991), pp. 964-973.