This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
J. Bénabou, Catégories et logiques faibles, Tagungsbericht 30/1973 Oberwolfach
M. C. Bunge, Boolean topoi and the independence of Suslin's hypothesis, Preprint No. 25, Aarhus Universitet 1972/73
J. C. Cole, Categories of sets and models of set theory, Ph.D. Thesis, University of Sussex 1971
P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc. 7 (1972). 1–76
J. Gray, The meeting of the Midwest Category Seminar in Zürich August 24–30, Springer Lecture Notes 195 (1971), 248–255
A. Kock-Ch. J. Mikkelsen, Non-standard extensions in the theory of toposes, Preprint No. 25, Aarhus Universitet 1971/72
A. Kock-Ch. J. Mikkelsen, Topos-theoretic factorization of non-standard extensions, Preprint Aarhus Universitet 1972
A. Kock-P. Lécouturier-Ch. J. Mikkelsen, Some topos theoretic concepts of finiteness, to appear in Springer Lecture Notes
A. Kock-G. C. Wraith, Elementary toposes, Lecture Notes No. 30, Aarhus Universitet 1971
F. W. Lawvere, An elementary theory of the category of sets, Proc. Nat. Acad. Sc. 51 (1964), 1506–1511
F. W. Lawvere, Quantifiers and sheaves, Actes Congrès Int. (Nice 1970) 1 (1971), 329–334
F. W. Lawvere, Toposes, algebraic geometry and logic, Springer Lecture Notes 274 (1972), 1–12
F. W. Lawvere, Continuously variable sets; Algebraic geometry = Geometric logic, to appear in Proc. Logic Coll. Bristol 1973
F. W. Lawvere-M. Tierney, Elementary topos, Lectures at the Midwest Category Seminar, Zürich 1970, summarized in [5]
P. Lécouturier, Quantificateur dans le topos élémentaires, Preprint, Université Zaïre, Kinshasa 1971/72
Ch. Maurer, Universen als interne Topoi, Dissertation, Universität Bremen 1974
Ch. Mikkelsen, Characterization of an elementary topos, Tagungsbericht Oberwolfach 30/1972
Ch. Mikkelsen, On the internal completeness of elementary topoi Tagungsbericht Oberwolfach 30/1973
Ch. Mikkelsen, Thesis, to appear
W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Alg. 2 (1972), 261–274
G. Osius, Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen, to appear in Math. Annalen
G. Osius, Categorical set theory: A characterization of the category of sets, to appear in J. Pure Appl. Alg.
G. Osius, The internal and external aspect of logic and set theory in elementary topoi, to appear in Cah. Top. Géom. Diff.
R. Paré, Colimits in topoi, Preprint, Dalhousie University 1973
H. Rasiowa-R. Sikorski, The mathematics of metamathematics, PWN-Polish Scientific Publishers, Warzawa 1962
M. Tierney, Sheaf theory and the continuum hypothesis, Springer Lecture Notes 274 (1972), 13–42
M. Tierney, Foundations of analysis in topos, Tagungsbericht Oberwolfach 30/1972
G. Van de Wauw-De Kinder, Some properties concerning the natural number object in a topos, Tagungsbericht Oberwolfach 30/1973
G. C. Wraith, Lectures on elementary topoi, to appear in Springer Lecture Notes
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Osius, G. (1975). Logical and set theoretical tools in elementary 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/BFb0061299
Download citation
DOI: https://doi.org/10.1007/BFb0061299
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