The internal and external aspect of logic and set theory in elementary topoi

 Access to full text

 Full (PDF)

1. [1] J.C. Cole, Categories of sets and models of set theory, Ph.D. Thesis, University of Sussex (England), Brighton, 1972. MR357116
2. [2] P. Freyd, Aspects of topoi, Bull. Austr. Math. Soc.7 (1972), 1-76. Zbl0252.18001MR396714
3. [3] J.W. Gray, The meeting of the Midwest-Category-Seminar in Zürich, August 24-28, Lecture Notes in Math.195, Springer (1971). Zbl0222.18002MR279147
4. [4] A. Kock - G.C. Wraith, Elementary toposes, Lecture Notes Series No. 30, Aarhus Universitet (1971). Zbl0251.18015MR342578
5. [5] F.W. Lawvere, Quantifiers and sheaves, Actes Congres Int. Math.1 (1970) 329-334. Zbl0261.18010MR430021
6. [6] F.W. Lawvere, Introduction to « Toposes, Algebraic Geometry and Logic», Lecture Notes274, Springer (1972). Zbl0249.18015MR376798
7. [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. [8] W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Algebra2 (1972), 261- 274. Zbl0245.18001MR319757
9. [9] G. Osius, Categorical set theory: A characterization of the category of sets ( preprint, Bremen 1972 ), J. Pure Appl. Algebra4 (1974), 79 - 119. Zbl0282.02027MR364389
10. [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. MR387049
11. [11] G. Osius, Logical and set-theoretical tools in elementary topoi, Preprint ( to appear in Lecture Notes in Math.). Zbl0348.18002MR387050
12. [12] H. Rasiowa - R. SIKORSKI, The mathematics of metamathematics, Polish Scientific Publishers, Warszawa, 1962. Zbl0122.24311MR344067
13. [13] M. Tierney, Sheaf theory and the continuum hypothesis, Lecture Notes274, Springer (1972). Zbl0244.18005MR373888

1. Gerhard Osius, The internal and external aspect of logic and set theory in elementary topoi
2. Lawrence Neff Stout, Topological properties of the real numbers object in a topos