Duality and definability in first order logic / / Michael Makkai
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Makkai Mihály <1939->
|
| Titolo: |
Duality and definability in first order logic / / Michael Makkai
|
| Pubblicazione: | Providence, Rhode Island : , : American Mathematical Society, , 1993 |
| ©1993 | |
| Descrizione fisica: | 1 online resource (122 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | First-order logic |
| Duality theory (Mathematics) | |
| Toposes | |
| Note generali: | "September 1993, Volume 105, Number 503 (fourth of 6 numbers)." |
| Nota di bibliografia: | Includes bibliographical references. |
| Nota di contenuto: | ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References"" |
| Titolo autorizzato: | Duality and definability in first order logic |
| ISBN: | 1-4704-0080-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910818932503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Memoirs of the American Mathematical Society ; ; Volume 105, Number 503.