First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories / Edition 1

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories / Edition 1

by M. Makkai, G.E. Reyes
     
 

Product Details

ISBN-13:
9783540084396
Publisher:
Springer Berlin Heidelberg
Publication date:
10/05/1977
Series:
Lecture Notes in Mathematics Series, #611
Edition description:
1977
Pages:
318
Product dimensions:
9.21(w) x 6.14(h) x 0.67(d)

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”.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >