×

Categorical set theory: A characterization of the category of sets. (English) Zbl 0282.02027


MSC:

03E30 Axiomatics of classical set theory and its fragments
18B05 Categories of sets, characterizations
18F10 Grothendieck topologies and Grothendieck topoi
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Cohen, P. J., Set Theory and the Continuum Hypothesis (1966), Benjamin: Benjamin New York · Zbl 0182.01301
[2] Cole, J. C., Categories of sets and models of set theory, (Ph.D. Thesis (1972), Univ. of Sussex: Univ. of Sussex Brighton) · Zbl 1401.18016
[3] Freyd, P., Aspects of topoi, Bull. Austral. Math. Soc., 7, 1-76 (1972) · Zbl 0252.18001
[4] Gray, J. W., The meeting of the Midwest Category Seminar in Zürich, August 24-28, (Rept. Midwest Category Seminar, V (1971), Springer: Springer Berlin) · Zbl 0222.18002
[5] Kock, A.; Wraith, G. C., Elementary toposes, (Lecture Notes Ser. No. 30 (1971), Univ. of Aarhus) · Zbl 0251.18015
[6] Lawvere, F. W., An elementary theory of the category of sets, Proc. Natl. Acad. Sci. U.S.A., 52, 1506-1511 (1964) · Zbl 0141.00603
[7] Lawvere, F. W., Quantifiers and sheaves, Proc. Intern. Congr. of Mathematicians, Vol. 1, 329-334 (1970) · Zbl 0261.18010
[8] Lawvere, F. W.; Tierney, M., Lectures on elementary topos, (Midwest Category Seminar in Zürich, August 24-28 (1971), Springer: Springer Berlin), unpublished
[9] F.W. Lawvere and M. Tierney, Axiomatic Sheaf Theory, to appear.; F.W. Lawvere and M. Tierney, Axiomatic Sheaf Theory, to appear.
[10] Maclane, S., Categories for the working mathematician (1972), Springer: Springer Berlin
[11] Mitchell, W., Boolean topoi and the theory of sets, J. Pure Appl. Algebra, 2, 261-274 (1972) · Zbl 0245.18001
[12] Montague, R., Well-founded relations; generalizations of principles of induction and recursion, Bull. Am. Math. Soc., 61, 442 (1955), (abstract)
[13] Mostowski, A., An undecidable arithmetical statement, Fund. Math., 36, 143-164 (1949) · Zbl 0039.00802
[14] Osius, G., Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen (1971), Univ. of Bielefeld, mimeographed notes · Zbl 0292.02050
[15] Specker, E., Zur Axiomatisierung der Mengenlehre, (Z. Math. Logik Grundl. Math., 3 (1957), Fundierungs-und Auswahlaxiom), 173-210 · Zbl 0079.07605
[16] Suppes, P., Axiomatic Set Theory (1960), Van Nostrand: Van Nostrand Princeton, N.J · Zbl 0091.05102
[17] Thiele, E. J., Über endlich axiomatisierbare Teilsysteme der Zermelo-Fraenkelschen Mengenlehre, Z. Math. Logik Grundl. Math, 14, 39-58 (1968) · Zbl 0177.01401
[18] Tierney, M., Sheaf theory and the continuum hypothesis, (Toposes, Algebraic Geometry and Logic (1972), Springer: Springer Berlin) · Zbl 0244.18005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.