Title Statements
- Full title :Duality and definability in first order logic / Michael Makkai.
Edition Statements
- Publication Date:©1993
Publication Statements
- Publisher(s):American mathematical Society
- Place of Publication:Providence, Rhode Island
- Language:eng
- Publication Date:©1993
Notes
"September 1993, Volume 105, Number 503 (fourth of 6 numbers)."
The Physical Object
- Description:1 online resource (122 pages)
Edition Identifiers
- ISBN:9781470400804, 1470400804
- oclc:ocn891383891
- LC Classification:QA9
- Dewey Decimal:511.3
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
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Files & Downloads
-
Duality and Definability in First Order Logic -- …
PDF · 10.0 MB · updated -
Duality and Definability in First Order Logic -- …
DJVU · 1.1 MB · updated
Rate & Review