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, 1975Description: VI, 358 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540374954Other title: A Collection of Lectures by Variuos AuthorsSubject(s): Mathematics | Mathematics | Mathematics, generalAdditional physical formats: Printed edition:: No titleDDC classification: 510 LOC classification: QA1-939Online resources: Click here to access online
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK508 |
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.