02332nam 2200565 450 991081893250332120170821172001.01-4704-0080-4(CKB)3360000000464687(EBL)3113760(SSID)ssj0000888892(PQKBManifestationID)11478237(PQKBTitleCode)TC0000888892(PQKBWorkID)10866268(PQKB)11088293(MiAaPQ)EBC3113760(RPAM)633147(PPN)195413865(EXLCZ)99336000000046468720140902h19931993 uy 0engur|n|---|||||txtccrDuality and definability in first order logic /Michael MakkaiProvidence, Rhode Island :American Mathematical Society,1993.©19931 online resource (122 p.)Memoirs of the American Mathematical Society,0065-9266 ;Volume 105, Number 503"September 1993, Volume 105, Number 503 (fourth of 6 numbers)."0-8218-2565-8 Includes bibliographical references.""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""Memoirs of the American Mathematical Society ;Volume 105, Number 503.First-order logicDuality theory (Mathematics)ToposesFirst-order logic.Duality theory (Mathematics)Toposes.511.3Makkai Mihály1939-55822MiAaPQMiAaPQMiAaPQBOOK9910818932503321Duality and definability in first order logic1427092UNINA