Classifying toposes for first-order theories

Annals of Pure and Applied Logic

Volumn 91, Issue 1, 1998, Pages 33-58

  Butz, Carsten ^a   Johnstone, Peter ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Classifying topos; First order theory

Indexed keywords

EID: 0032509626     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(97)00042-0     Document Type: Article

References (20)

1. [1] A. Blass, A. Scedrov, Boolean classifying topoi, J. Pure Appl. Algebra 28 (1983) 15-30.
2. [2] A. Boileau, A. Joyal, La logique des topos, J. Symbolic Logic 46 (1981) 6-16.
3. [3] R. Diaconescu, Change of base for toposes with generators, J. Pure Appl. Algebra 6 (1975) 191-218.
4. [4] M.P. Fourman, D.S. Scott, Sheaves and logic, in: M.P. Fourman, C.J. Mulvey, D.S. Scott (Eds.), Applications of Sheaves, Lecture Notes in Math., vol. 753, Springer, Berlin, 1979, pp. 302-401.
5. [5] P.J. Freyd, A. Scedrov, Categories, Allegories, North-Holland, Amsterdam, 1990.
6. [6] H. Gaifman, Infinite Boolean polynomials, I, Fundam. Math. 54 (1964) 229-250.
7. [7] A.W. Hales, On the non-existence of free complete Boolean algebras, Fundam. Math. 54 (1964) 45-66.
8. [8] P.T. Johnstone, Topos Theory, L.M.S. Monographs, vol. 10, Academic Press, New York, 1977.
9. [9] P.T. Johnstone, Open maps of toposes, Manuscripta Math. 31 (1980) 217-247.
10. [10] P.T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Math., vol. 3, Cambridge University Press, Cambridge, 1982.
11. [11] D. de Jongh, A class of intuitionistic connectives, in: J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene Symposium, North-Holland, Amsterdam, 1980, pp. 103-111.
12. [12] A. Joyal, M. Tierney, An Extension of the Galois Theory of Grothendieck, Mem. Amer. Math. Soc., vol. 309, American Mathematical Society, Providence, RI, 1984.
13. [13] C. Kalicki, Infmitary propositional intuitionistic logic, Notre Dame J. Formal Logic 21 (1980) 216-228.
14. [14] A. Kock, Universal projective geometry via topos theory, J. Pure Appl. Algebra 9 (1976) 1-24.
15. [15] S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic, Springer, Berlin, 1992.
16. [16] M. Makkai, G.E. Reyes, First Order Categorical Logic, Lecture Notes in Math., vol. 611, Springer, Berlin, 1977.
17. [17] I. Moerdijk, E. Palmgren, Minimal models of Heyting arithmetic, J. Symbolic Logic, to appear.
18. [18] M.E. Nadel, Infinitary intuitionistic logic from a classical point of view, Ann. Math. Logic 14 (1978) 159-191.
19. [19] E. Palmgren, Constructive sheaf semantics, Math. Logic Quart., to appear.
20. [20] R.M. Solovay, New proof of a theorem of Gaifmann and Hales, Bull. Amer. Math. Soc. 72 (1966) 282-284.