First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes.
Material type: TextSeries: Lecture Notes in Mathematics ; 611Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977Description: II, 318 p. online resourceContent type:- text
- computer
- online resource
- 9783540371007
- 511.3 23
- QA8.9-10.3
Contents:
In:
Springer eBooks
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”.
No physical items for this record
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”.
There are no comments on this title.