Vai al contenuto principale della pagina

Duality and definability in first order logic / / Michael Makkai



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Makkai Mihály <1939-> Visualizza persona
Titolo: Duality and definability in first order logic / / Michael Makkai Visualizza cluster
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  Visualizza cluster
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.