Articoli correlati a First Order Categorical Logic: Model-Theoretical Methods...
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories - Brossura
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.