Model Theory and Topoi (eBook, PDF)

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

• Format: PDF

Produktbeschreibung

A Collection of Lectures by Variuos Authors

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 358
• Erscheinungstermin: 15. November 2006
• Englisch
• ISBN-13: 9783540374954
• Artikelnr.: 54132613

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.