The internal and external aspect of logic and set theory in elementary topoi
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 15 (1974) no. 2, pp. 157-180.
@article{CTGDC_1974__15_2_157_0,
     author = {Osius, Gerhard},
     title = {The internal and external aspect of logic and set theory in elementary topoi},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {157--180},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {15},
     number = {2},
     year = {1974},
     zbl = {0362.18001},
     mrnumber = {387049},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1974__15_2_157_0/}
}
Osius, Gerhard. The internal and external aspect of logic and set theory in elementary topoi. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 15 (1974) no. 2, pp. 157-180. http://www.numdam.org/item/CTGDC_1974__15_2_157_0/

[1] J.C. Cole, Categories of sets and models of set theory, Ph.D. Thesis, University of Sussex (England), Brighton, 1972. | MR 357116

[2] P. Freyd, Aspects of topoi, Bull. Austr. Math. Soc. 7 (1972), 1-76. | MR 396714 | Zbl 0252.18001

[3] J.W. Gray, The meeting of the Midwest-Category-Seminar in Zürich, August 24-28, Lecture Notes in Math. 195, Springer (1971). | MR 279147 | Zbl 0222.18002

[4] A. Kock - G.C. Wraith, Elementary toposes, Lecture Notes Series No. 30, Aarhus Universitet (1971). | MR 342578 | Zbl 0251.18015

[5] F.W. Lawvere, Quantifiers and sheaves, Actes Congres Int. Math. 1 (1970) 329-334. | MR 430021 | Zbl 0261.18010

[6] F.W. Lawvere, Introduction to « Toposes, Algebraic Geometry and Logic», Lecture Notes 274, Springer (1972). | MR 376798 | Zbl 0249.18015

[7] F.W. Lawvere - M. Tierney, Lectures on elementary toposes, Midwest Category Seminar in Zürich, August 24-28, 1970 (unpublished, summarized in [3]).

[8] W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Algebra 2 (1972), 261- 274. | MR 319757 | Zbl 0245.18001

[9] G. Osius, Categorical set theory: A characterization of the category of sets ( preprint, Bremen 1972 ), J. Pure Appl. Algebra 4 (1974), 79 - 119. | MR 364389 | Zbl 0282.02027

[10] G. Osius, The internal and the external aspect of logic and set theory in elementary topoi, Résumés du Colloque d'Amiens, Cahiers Topo. et Géo. Diff. XIV-2, Paris (1973), 199-201. | Numdam | MR 387049

[11] G. Osius, Logical and set-theoretical tools in elementary topoi, Preprint ( to appear in Lecture Notes in Math.). | MR 387050 | Zbl 0348.18002

[12] H. Rasiowa - R. SIKORSKI, The mathematics of metamathematics, Polish Scientific Publishers, Warszawa, 1962. | MR 344067 | Zbl 0122.24311

[13] M. Tierney, Sheaf theory and the continuum hypothesis, Lecture Notes 274, Springer (1972). | MR 373888 | Zbl 0244.18005