Duality and definability in first order logic

Duality and definability in first order logic / Michael Makkai.

Saved in:
Bibliographic Details
Main Author: Makkai, Mihály, 1939- (Author)
Format: eBook
Language:English
Published: Providence, Rhode Island : American Mathematical Society, 1993.
Series:Memoirs of the American Mathematical Society ; Volume 105, no. 503.
Subjects:
First-order logic.
Duality theory (Mathematics)
Toposes.
First-order logic
Toposes
Online Access:Click for online access
Table of Contents:
  • 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

Similar Items