Model Theory and Topoi
Seiten
1975
|
1975
Springer Berlin (Verlag)
978-3-540-07164-8 (ISBN)
Springer Berlin (Verlag)
978-3-540-07164-8 (ISBN)
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 |
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 |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €