Model Theory and Topoi

Herausgegeben:Lawvere, F. W.; Maurer, C.; Wraith, G. C.

• Broschiertes Buch

Produktbeschreibung

A Collection of Lectures by Variuos Authors

Produktdetails

• Lecture Notes in Mathematics 445
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07164-8
• 1975.
• Seitenzahl: 364
• Erscheinungstermin: 29. Juli 1975
• Englisch
• Abmessung: 235mm x 155mm x 20mm
• Gewicht: 584g
• ISBN-13: 9783540071648
• ISBN-10: 3540071644
• Artikelnr.: 23560333

Inhaltsangabe

to Part I.- Abstract Horn theories.- Completeness theorem for logical categories.- Logical categories, semantical categories and topoi.- Internal categories and classification theorems.- Lectures on elementary topoi.- Some topos theoretic concepts of finiteness.- Universes in topoi.- Logical and set theoretical tools in elementary topoi.- A note on Kripke-Joyal semantics for the internal language of topoi.