Articles liés à First Order Categorical Logic: Model-Theoretical Methods...

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.

  • ÉditeurSpringer
  • Date d'édition2014
  • ISBN 10 3662197812
  • ISBN 13 9783662197813
  • ReliurePaperback
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

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