Duality and definability in first order logic / [electronic resource] Michael Makkai.
Material type:
TextSeries: Memoirs of the American Mathematical Society ; v. 503Publication details: Providence, R.I. : American Mathematical Society, c1993.Description: 1 online resource (x, 106 p. : ill.)ISBN: - 9781470400804 (online)
- 510 s 511.3 20
- QA3 .A57 no. 503 QA9
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK12956 |
"September 1993, volume 105, number 503 (fourth of 6 numbers)."
Includes bibliographical references (p. 105-106).
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 $\mathcal {BP}^*$ and $\mathtt {UG}$ 12. Conclusion
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Description based on print version record.
There are no comments on this title.