Model Theory and Topoi [electronic resource] : A Collection of Lectures by Various Authors / edited by F. William Lawvere, Christian Maurer, Gavin C. Wraith.
Material type: TextSeries: Lecture Notes in Mathematics ; 445Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975Description: VI, 358 p. online resourceContent type:- text
- computer
- online resource
- 9783540374954
- A Collection of Lectures by Variuos Authors
- 514 23
- QA611-614.97
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.
There are no comments on this title.