Model Theory and Topoi : A Collection of Lectures by Various Authors
Guardat en:
| Altres autors: | , , |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in mathematics
445 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Model theory and topoi, a collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, G. C. Wraith, 1975, Berlin [etc.], Springer, 1 vol. (354 p.), Lecture notes in mathematics, 0-387-07164-4 • Model Theory and Topoi, Texte imprimé, 9783662176016 |
Taula de continguts:
- 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.