Sets, Topoi, and Internal Logic in Categories
References (27)
Semantical analysis of intuitionistic logic I
Boolean topoi and the theory of sets
Journal of Pure and Applied Algebra
(1972)Categorical set theory: a characterization of the category of sets
Journal of Pure and Applied Algebra
(1974)- et al.
Théorie des topos et cohomologie étale des schémas
(1973) - Marta C. Bunge, Boolean topoi and independence of Souslin's hypothesis, Aarhus Universitet, Matematisk Institut,...
The independence of the continuum hypothesis, I and II
Proceedings of the National Academy of Sciences of the USA
(1963)Set Theory and the Continuum Hypothesis
(1966)- J. C. Cole, Categories of sets and models of set theory, in: The Proceedings of the Bertrand Russell Memorial Logic...
Aspects of topoi
Bulletin of the Australian Mathematical Society
(1972)Théorie des Faisceaux
(1958)
Non-provability of Souslin's hypothesis
Commentationes Mathematicae Universitatis Carolinae
(1967)
Cited by (11)
Pluri-adjoints and preservation of finite limits
1990, Journal of Pure and Applied AlgebraFuzzy sets in topoi
1982, Fuzzy Sets and SystemsDoctrines in Categorical Logic
1977, Studies in Logic and the Foundations of MathematicsSheaves of algebras over boolean spaces
2012, Sheaves of Algebras over Boolean SpacesSet Theory: Boolean-Valued Models and Independence Proofs
2007, Set Theory: Boolean-Valued Models and Independence ProofsSaunders Mac Lane (1909-2005): His mathematical life and philosophical works
2005, Philosophia Mathematica
- *
Supported in part by a grant from the National Science Foundation.
Copyright © 1975 North-Holland Publishing Company. Published by Elsevier B.V. All rights reserved.