Duality and definability in first order logic /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Makkai, Mihály, 1939- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence, Rhode Island : American Mathematical Society, 1993.
Colección:Memoirs of the American Mathematical Society ; Volume 105, no. 503.
Temas:
First-order logic.
Duality theory (Mathematics)
Toposes.
Logique du premier ordre.
Principe de dualité (Mathématiques)
Topos (Mathématiques)
First-order logic
Toposes
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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

Ejemplares similares