First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories - Couverture souple

Makkai, M.; Reyes, G.E.

 
9783662197813: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Couverture souple
ISBN 10 : 3662197812 ISBN 13 : 9783662197813
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662197812
ISBN 13 
9783662197813
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3540084398 ISBN 13 :  9783540084396
Editeur : Springer, 2009
Couverture souple