@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://archive.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://archive.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://archive.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://archive.numdam.org/item/CTGDC_1974__15_2_157_0/
[1] Categories of sets and models of set theory, Ph.D. Thesis, University of Sussex (England), Brighton, 1972. | MR
,[2] Aspects of topoi, Bull. Austr. Math. Soc. 7 (1972), 1-76. | MR | Zbl
,[3] The meeting of the Midwest-Category-Seminar in Zürich, August 24-28, Lecture Notes in Math. 195, Springer (1971). | MR | Zbl
,[4] Elementary toposes, Lecture Notes Series No. 30, Aarhus Universitet (1971). | MR | Zbl
- ,[5] Quantifiers and sheaves, Actes Congres Int. Math. 1 (1970) 329-334. | MR | Zbl
,[6] Introduction to « Toposes, Algebraic Geometry and Logic», Lecture Notes 274, Springer (1972). | MR | Zbl
,[7] Lectures on elementary toposes, Midwest Category Seminar in Zürich, August 24-28, 1970 (unpublished, summarized in [3]).
- ,[8] Boolean topoi and the theory of sets, J. Pure Appl. Algebra 2 (1972), 261- 274. | MR | Zbl
,[9] Categorical set theory: A characterization of the category of sets ( preprint, Bremen 1972 ), J. Pure Appl. Algebra 4 (1974), 79 - 119. | MR | Zbl
,[10] 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] Logical and set-theoretical tools in elementary topoi, Preprint ( to appear in Lecture Notes in Math.). | MR | Zbl
,[12] R. SIKORSKI, The mathematics of metamathematics, Polish Scientific Publishers, Warszawa, 1962. | MR | Zbl
-[13] Sheaf theory and the continuum hypothesis, Lecture Notes 274, Springer (1972). | MR | Zbl
,