First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Author(s)
Bibliographic Information
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
(Lecture notes in mathematics, 611)
Springer-Verlag, 1977
- : Berlin
- : New York
Available at / 69 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||6117708439S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Berlin510/L4972020972970
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [298]-301
Description and Table of Contents
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".
by "Nielsen BookData"