Model theory and topoi: A collection of lectures by various authors (Lecture notes in mathematics ; 445)

A Collection of Lectures by Variuos Authors Introduction to Part I....Pages 3-14 Abstract Horn theories....Pages 15-50 Completeness theorem for logical categories....Pages 51-86 Logical categories, semantical categories and topoi....Pages 87-100 Internal categories and classification theorems....Pages 103-113 Lectures on elementary topoi....Pages 114-206 Some topos theoretic concepts of finiteness....Pages 209-283 Universes in topoi....Pages 284-296 Logical and set theoretical tools in elementary topoi....Pages 297-346 A note on Kripke-Joyal semantics for the internal language of topoi....Pages 349-354