The internal and external aspect of logic and set theory in elementary topoi
Cahiers de topologie et géométrie différentielle, 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},
     pages = {157--180},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {15},
     number = {2},
     year = {1974},
     mrnumber = {387049},
     zbl = {0362.18001},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1974__15_2_157_0/}
}
TY  - JOUR
AU  - Osius, Gerhard
TI  - The internal and external aspect of logic and set theory in elementary topoi
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1974
SP  - 157
EP  - 180
VL  - 15
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1974__15_2_157_0/
LA  - en
ID  - CTGDC_1974__15_2_157_0
ER  - 
%0 Journal Article
%A Osius, Gerhard
%T The internal and external aspect of logic and set theory in elementary topoi
%J Cahiers de topologie et géométrie différentielle
%D 1974
%P 157-180
%V 15
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1974__15_2_157_0/
%G en
%F 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, 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

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

[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 | Zbl

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

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

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

[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 | Zbl

[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 | Zbl

[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

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

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

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