First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

Makkai, Michael

ISBN 10: 3540084398 / ISBN 13: 9783540084396

Editore: Springer, 1977

Riguardo questo articolo

Used with minimal wear, no writing or markings, corners maybe bent, few crease lines.

Codice articolo 4JLM8E000B9F

Dati bibliografici

• Titolo: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)
• Editore: Springer
• Data di pubblicazione: 1977
• Lingua: Inglese
• ISBN 10: 3540084398
• ISBN 13: 9783540084396
• Rilegatura: Brossura
• Condizione: very_good

Descrizione articolo

Contenuti

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