First Order Categorical Logic - Makkai, M.; Reyes, G. E.
33,99 €
versandkostenfrei*

inkl. MwSt.
Versandfertig in 2-4 Wochen
17 °P sammeln
    Broschiertes Buch

Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to ¿first order categorical logic¿.…mehr

Produktbeschreibung
Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to ¿first order categorical logic¿.
  • Produktdetails
  • Lecture Notes in Mathematics Vol.611
  • Verlag: Springer, Berlin
  • 1977.
  • Seitenzahl: 320
  • Erscheinungstermin: 1. September 1977
  • Englisch
  • Abmessung: 235mm x 155mm x 17mm
  • Gewicht: 508g
  • ISBN-13: 9783540084396
  • ISBN-10: 3540084398
  • Artikelnr.: 23553670
Inhaltsangabe
Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to "first order categorical logic".