Sunto
Si dimostra che l'esistenza di un funtore esatto che non preserva i coprodotti, da un topos di Grothendieck ad un topos di Grothendieck localmente connesso, equivale all'esistenza di un cardinale misurabile.
Summary
The paper shows that there is an exact functor from a Grothendieck topos to a locally connected Grothendieck topos that does not preserve all (set-indexed) coproducts if and only if there is a measurable cardinal.
This is a preview of subscription content, log in via an institution to check access.
Bibliography
Adelman M., Closed exact functors between locally connected toposes, inJournées Faisceaux et Logique 23–24 Mai 1981, ed. J. Bénabou and M. Coste, Université Paris-Nord pré-publications mathematiques 23 (1981) 6.
Barr M. andParé R., Molecular toposes, J. Pure Appl. Alg.
Bell J.,Boolean-valued models and independence proofs in set theory, Clarendon Press, Oxford (1977).
Blass A., Exact functors and measurable cardinals,Pac. J. Math., 63 (1976) 335–346.
Blass A. andŠčedrov A., Freyd's models for the independence of the axiom of choice, to appear.
Drake F.,Set Theory, North-Holland (1974).
Freyd P., Aspects of Topoi,Bull. Austral. Math. Soc., 7 (1972) 1–76 and 467–480.
Grothendieck A. andVerdier J., Theorie des topos et cohomologie étale der schemes, Seminaire de Géométric Algébrique IV, Springer Lecture Notes in Mathematics, 269 (1972).
Higgs D., A category approach to Boolean-valued set theory, Lecture notes, University of Waterloo (1973).
Jech T.,Set Theory, Academic Press (1978).
Jech T. andPrikry K., Ideals over uncountable sets: Applications of almost disjoint functions and generic ultrapowers,Memoirs A.M.S. Number 214 (1979).
Johnstone P.,Topos Theory, London Math. Soc. Mathematical Monographs 10, Academic Press (1977).
Kock A. andMikkelsen C. J., Non-Standard extensions in the theory of toposes, Aarhus Univer. Preprint Series 1971/72, No. 25.
Lawvere F. W., Quantifiers and Sheaves,Actes Congr. Int. Math. Nice (1970) 329–334.
MacLane S.,Categories for the Working Mathematician, Springer (1971).
Makkai M. andReyes G.,First Order Categorical Logic, Springer Lecture Notes in Math. 611 (1977).
Reyes G., is enough,J. Symbolic Logic, 37 (1973) 705–710.
Reyes G., From sheaves to logic, inStudies in Algebraic Logic, ed. A. Daigneault, MAA Studies in Mathematics 9 (1974) 143–204.
Ščedrov A., Forcing and classifying topoi,Memoirs A.M.S. 295 (1984).
Solovay R. M., Real-valued measurable cardinals, inAxiomatic Set Theory, Part I, ed. D. Scott, Proc. Symp. Pure Math. 13 (1971) 397–428.
Solovay R. M., A model of set theory in which every set of real is Lebeague measurable, Ann. Math. 92 (1970) 1–56.
Takeuti G., Proof theory and set theory, to appear.
Tierney M., Sheaf theory and the continuum hypothesis, inToposes, Algebraic Geometry, and Logic, ed F. W. Lawvere, Springer Lecture Notes in Math. 274 (1972) 13–42.
Trnková V., On set functors, II,Comm. Math. Univ. Carolinae 2 (1971) 345–357.
Author information
Authors and Affiliations
Additional information
(Conferenza tenuta il 13 febbraio 1984 dal Prof. M. Adelman)
Rights and permissions
About this article
Cite this article
Adelman, M., Blass, A. Exact functors, local connectedness and measurable cardinals. Seminario Mat. e. Fis. di Milano 54, 9–28 (1985). https://doi.org/10.1007/BF02924847
Issue Date:
DOI: https://doi.org/10.1007/BF02924847