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

Makkai, M.; Reyes, G.E.

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662197812
ISBN 13 
9783662197813
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540084398 ISBN 13:  9783540084396
Casa editrice: Springer, 2009
Brossura