First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categories
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1977, 1977
|
| Edition: | 1st ed. 1977 |
| Series: | Lecture Notes in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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”