Author | Makkai, Michael. author |
---|---|
Title | First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes |
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1977 |
Connect to | http://dx.doi.org/10.1007/BFb0066201 |
Descript | II, 318 p. online resource |
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โ