Model Theory and Topoi

by F.W. Lawvere (Editor), C. Maurer (Editor), G.C. Wraith (Editor)

Overview

A Collection of Lectures by Variuos Authors

Product Details

ISBN-13:	9783540071648
Publisher:	Springer Berlin Heidelberg
Publication date:	09/09/1975
Series:	Lecture Notes in Mathematics , #445
Edition description:	1975
Pages:	358
Product dimensions:	6.10(w) x 9.10(h) x 0.80(d)

Table of Contents

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.