000 02356nam a22004693i 4500
001 EBC3113760
003 MiAaPQ
005 20240729124550.0
006 m o d |
007 cr cnu||||||||
008 240724s1993 xx o ||||0 eng d
020 _a9781470400804
_q(electronic bk.)
020 _z9780821825655
035 _a(MiAaPQ)EBC3113760
035 _a(Au-PeEL)EBL3113760
035 _a(CaPaEBR)ebr10918701
035 _a(OCoLC)922981410
040 _aMiAaPQ
_beng
_erda
_epn
_cMiAaPQ
_dMiAaPQ
050 4 _aQA9 -- .M355 1993eb
082 0 _a511.3
100 1 _aMakkai, Michael.
245 1 0 _aDuality and Definability in First Order Logic.
250 _a1st ed.
264 1 _aProvidence :
_bAmerican Mathematical Society,
_c1993.
264 4 _c©1993.
300 _a1 online resource (122 pages)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aMemoirs of the American Mathematical Society ;
_vv.105
505 0 _aIntro -- 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.
588 _aDescription based on publisher supplied metadata and other sources.
590 _aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650 0 _aFirst-order logic.
650 0 _aDuality theory (Mathematics).
650 0 _aToposes.
655 4 _aElectronic books.
776 0 8 _iPrint version:
_aMakkai, Michael
_tDuality and Definability in First Order Logic
_dProvidence : American Mathematical Society,c1993
_z9780821825655
797 2 _aProQuest (Firm)
830 0 _aMemoirs of the American Mathematical Society
856 4 0 _uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3113760
_zClick to View
999 _c69291
_d69291