Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artin, M.-Grothendieck, A.-Verdier, J. L.: Théorie des Topos et Cohomologie Étale des Schémas (SGA 4, 1963/64). Springer Lecture Notes 269, 270 (1972).
Bénabou, J.-Celeyrette, J.: Généralités sur les Topos des Lawvere et Tierney. Preprint, Séminaire Bénabou (1970).
Bénabou, J.: Catégories et logiques faibles. Talk at the Oberwolfach Conference (1973).
Diaconescu, R.: Change of Base for some Toposes. Ph.D. thesis, Dalhousie University (1973).
Feferman, S.: Set-Theoretical Foundations of Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 201–247 (1969).
Freyd, P.: Aspects of topoi. Bull. Austral. Math. Soc. 7, 1–76 (1972).
Gray, J.: The meeting of the Midwest Category Seminar in Zürich, August 24–30, 1970. Reports of the Midwest Category Seminar V, Springer Lecture Notes 195, 248–255 (1971).
Kock, A.-Mikkelsen, Ch. J.: Topos theoretic factorizations of nonstandard extensions. Victoria Symposium on Nonstandard Analysis, Springer Lecture Notes 369, pp122–143 (1974).
Kock, A.-Wraith, G. C.: Elementary Toposes. Lecture Notes Series No. 30, Aarhus University (1971/72).
Krivine, J.-L.: Introduction to Axiomatic Set Theory. Dordrecht, Holland (1971).
Kruse, A. H.: Grothendieck universes and the super-complete models of Shepherdson. Compositio Math. 17, 96–101 (1965).
Kühnrich, M.: Über den Begriff des Universums. Z. math. Logik Grundlagen Math. 12, 37–50 (1966).
Lawvere, F.W.: The Category of Categories as a Foundation for Mathematics. Proc. Conf. Categorical Algebra (La Jolla 1965), 1–20, Berlin-Heidelberg-New York (1966).
Lawvere, F.W.: Quantifiers and sheaves. Actes du Congrès international des Mathématiciens (Nice 1970) 1, 329–334. Paris (1971).
Lawvere, F.W.: Toposes, Algebraic Geometry and Logic. Introduction. Springer Lecture Notes 274, 1–12 (1972).
Lawvere, F.W.-Tierney, M.: Talks at the Midwest Category Seminar, Zürich 1970. (see [7])
MacLane, S.: Foundations for categories and sets. Category Theory, Homology Theory and their Applications II, Springer Lecture Notes 92, 146–164 (1969).
MacLane, S.: One Universe as a Foundation for Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 192–200 (1969).
Maurer, Ch.: Universen als interne Topoi. Dissertation, University of Bremen (1974).
Maurer, Ch.: Ein rekursiv definiertes geordnetes Paar. In preparation.
Mikkelsen, Ch. J.: Thesis. To appear.-Talks at the Oberwolfach Conferences (1972, 1973).
Osius, G.: Eine Charakterisierung der Kategorie der Klassen und Abbildungen. Preprint, University of Bielefeld (1972).
Osius, G.: A characterization of the category of sets. To appear in J. Pure Applied Algebra.
Osius, G.: The internal and external aspect of logic and set theory in elementary topoi. To appear in Cahiers Top. Géom. Diff.
Osius, G.: Logical and set theoretical tools in elementary topoi. This volume.
Tarski, A.: Über unerreichbare Kardinalzahlen. Fund. Math. 30, 68–89 (1938).
Wraith, G. C.: Lectures on Elementary Topoi. This volume.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Maurer, C. (1975). Universes in topoi. In: Lawvere, F.W., Maurer, C., Wraith, G.C. (eds) Model Theory and Topoi. Lecture Notes in Mathematics, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061298
Download citation
DOI: https://doi.org/10.1007/BFb0061298
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07164-8
Online ISBN: 978-3-540-37495-4
eBook Packages: Springer Book Archive