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, 1977Description: II, 318 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540371007Subject(s): Mathematics | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleDDC classification: 511.3 LOC classification: QA8.9-10.3Online resources: Click here to access online
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”.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK405 |
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.