M. Makkai, G. E. Reyes

First Order Categorical Logic

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

• Broschiertes Buch

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 611
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-08439-6
• 1977.
• Seitenzahl: 320
• Erscheinungstermin: 1. September 1977
• Englisch
• Abmessung: 235mm x 155mm x 18mm
• 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".