First order categorical logic : model-theoretical methods in the theory of topoi and related categories / / M. Makkai, G. E. Reyes
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Makkai Mihály <1939->
|
| Titolo: |
First order categorical logic : model-theoretical methods in the theory of topoi and related categories / / M. Makkai, G. E. Reyes
|
| Pubblicazione: | Berlin, Germany : , : Springer, , [1977] |
| ©1977 | |
| Edizione: | 1st ed. 1977. |
| Descrizione fisica: | 1 online resource (II, 318 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Model theory |
| Persona (resp. second.): | ReyesGonzalo E. <1937-> |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | Grothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to “first order categorical logic”. |
| Titolo autorizzato: | First order categorical logic |
| ISBN: | 3-540-37100-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466506003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 611