×
![]( "Buchcover ISBN 9783540084396")
First Order Categorical Logic
Model-Theoretical Methods in the Theory of Topoi and Related Categories
von M. Makkai und G.E. ReyesInhaltsverzeichnis
- 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”.
