AuthorMakkai, Michael. author
TitleFirst Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1977
Connect tohttp://dx.doi.org/10.1007/BFb0066201
Descript II, 318 p. online resource

CONTENT

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โ


SUBJECT

  1. Mathematics
  2. Mathematical logic
  3. Mathematics
  4. Mathematical Logic and Foundations