Model Theory and Topoi: A Collection of Lectures by Various Authors

F William Lawvere (auth.), Dr. F. William Lawvere, Dr. Christian Maurer, Dr. Gavin C. Wraith (eds.)9780387071640, 0-387-07164-4

Table of contents :
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