Blick ins Buch

Model Theory and Topoi

F.W. Lawvere, C. Maurer, G.C. Wraith (Herausgeber)

Buch | Softcover

VI, 358 Seiten

1975
Springer Berlin (Verlag)
978-3-540-07164-8 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

A Collection of Lectures by Variuos Authors

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.

Erscheint lt. Verlag	29.7.1975
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	VI, 358 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	513 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik ► Geometrie / Topologie
Schlagworte	Boundary element method • classification • Finite • language • Logic • Modell (Math.) • model Theory • Semantics • SET • Theorem • Tool • Topos • Topos (Math.)
ISBN-10	3-540-07164-4 / 3540071644
ISBN-13	978-3-540-07164-8 / 9783540071648
Zustand	Neuware