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

Gerhard Osius

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1974)

  • Volume: 15, Issue: 2, page 157-180
  • ISSN: 1245-530X

How to cite

top

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 15.2 (1974): 157-180. <http://eudml.org/doc/91137>.

@article{Osius1974,
author = {Osius, Gerhard},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
language = {eng},
number = {2},
pages = {157-180},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {The internal and external aspect of logic and set theory in elementary topoi},
url = {http://eudml.org/doc/91137},
volume = {15},
year = {1974},
}

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 Catégoriques
PY - 1974
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 15
IS - 2
SP - 157
EP - 180
LA - eng
UR - http://eudml.org/doc/91137
ER -

References

top
  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

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.