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, c1993Description: 1 online resource (x, 106 p. : ill.)ISBN: 9781470400804 (online)Subject(s): First-order logic | Duality theory (Mathematics) | ToposesAdditional physical formats: Duality and definability in first order logic /DDC classification: 510 s | 511.3 LOC classification: QA3 | .A57 no. 503 | QA9Online resources: Contents | Contents 
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | 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.