First Order Categorical Logic
Makkai, Michael.
First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categories / [electronic resource] : by Michael Makkai, Gonzalo E. Reyes. - II, 318 p. online resource. - Lecture Notes in Mathematics, 611 0075-8434 ; . - Lecture Notes in Mathematics, 611 .
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”.
9783540371007
10.1007/BFb0066201 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categories / [electronic resource] : by Michael Makkai, Gonzalo E. Reyes. - II, 318 p. online resource. - Lecture Notes in Mathematics, 611 0075-8434 ; . - Lecture Notes in Mathematics, 611 .
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”.
9783540371007
10.1007/BFb0066201 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3