Skip to main content
  • Book
  • © 1977

First Order Categorical Logic

Model-Theoretical Methods in the Theory of Topoi and Related Categories

Part of the book series: Lecture Notes in Mathematics (LNM, volume 611)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (11 chapters)

  1. Front Matter

    Pages I-VIII
  2. Introduction

    • Michael Makkai, Gonzalo E. Reyes
    Pages 1-10
  3. Grothendieck topoi

    • Michael Makkai, Gonzalo E. Reyes
    Pages 11-67
  4. Interpretation of the logic in categories

    • Michael Makkai, Gonzalo E. Reyes
    Pages 68-95
  5. Axioms and rules of inference valid in categories

    • Michael Makkai, Gonzalo E. Reyes
    Pages 96-131
  6. Boolean and heyting valued models

    • Michael Makkai, Gonzalo E. Reyes
    Pages 132-142
  7. Completeness

    • Michael Makkai, Gonzalo E. Reyes
    Pages 143-164
  8. Existence theorems on geometric morphisms of topoi

    • Michael Makkai, Gonzalo E. Reyes
    Pages 165-192
  9. Conceptual completeness

    • Michael Makkai, Gonzalo E. Reyes
    Pages 193-236
  10. Theories as categories

    • Michael Makkai, Gonzalo E. Reyes
    Pages 237-271
  11. Classifying topoi

    • Michael Makkai, Gonzalo E. Reyes
    Pages 272-297
  12. Erratum

    • Michael Makkai, Gonzalo E. Reyes
    Pages E1-E8
  13. Back Matter

    Pages 298-301

Bibliographic Information

  • Book Title: First Order Categorical Logic

  • Book Subtitle: Model-Theoretical Methods in the Theory of Topoi and Related Categories

  • Authors: Michael Makkai, Gonzalo E. Reyes

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0066201

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08439-6Published: 01 September 1977

  • eBook ISBN: 978-3-540-37100-7Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: II, 318

  • Topics: Mathematical Logic and Foundations

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access