Books by Independent Authors

Topoi: The Categorial Analysis of Logic

Robert Goldblatt

Book information

Author
Robert Goldblatt

Publication information
Studies in Logic and the Foundations of Mathematics, Volume 98
Revised Edition
Amsterdam, The Netherlands: Elsevier Science Publishers, 1984
xvi, 551 p.

Dates
Publication date: 1984
First available in Project Euclid: 17 June 2014

Permanent link to this book
https://projecteuclid.org/euclid.bia/1403013939

ISBN:
0-444-86711-2

Subjects
Toposes

Rights
Copyright © 2001, Robert Goldblatt

Citation
Robert Goldblatt, Topoi: The Categorial Analysis of Logic, revised edition (Amsterdam: Elsevier, 1984)

Select/deselect all
  • Export citations
Front Pages
Abstract PDF
Prefaceix - xiii
Abstract PDF
Preface to the Second Editionxiv
Abstract PDF
Contentsxv - xvi
Abstract PDF
Prospectus1 - 5
Abstract PDF
Chapter 1. Mathematics = Set Theory?6 - 16
Abstract PDF
Chapter 2. What Categories Are17 - 36
Abstract PDF
Chapter 3. Arrows Instead of Epsilon37 - 74
Abstract PDF
Chapter 4. Introducing Topoi75 - 108
Abstract PDF
Chapter 5. Topos Structure: First Steps109 - 124
Abstract PDF
Chapter 6. Logic Classically Conceived125 - 145
Abstract PDF
Chapter 7. Algebra of Subobjects146 - 172
Abstract PDF
Chapter 8. Intuitionism and its Logic173 - 193
Abstract PDF
Chapter 9. Functors194 - 210
Abstract PDF
Chapter 10. Set Concepts and Validity211 - 229
Abstract PDF
Chapter 11. Elementary Truth230 - 288
Abstract PDF
Chapter 12. Categorial Set Theory289 - 331
Abstract PDF
Chapter 13. Arithmetic332 - 358
Abstract PDF
Chapter 14. Local Truth359 - 437
Abstract PDF
Chapter 15. Adjointness and Quantifiers438 - 457
Abstract PDF
Chapter 16. Logical Geometry458 - 519
Abstract PDF
References521 - 529
Abstract PDF
Catalogue of Notation531 - 540
Abstract PDF
Index of Definitions541 - 551
Abstract PDF
Select/deselect all
  • Export citations

Top

Project Euclid (distributor)

Books by Independent Authors

New content alerts

Email RSS ToC
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?