Makkai, Michael. <br/><br/>
Duality and Definability in First Order Logic. 

 - 1st ed. 
 - 1 online resource (122 pages) 
 - Memoirs of the American Mathematical Society ;  v.105 .
 - Memoirs of the American Mathematical Society .
<br/><br/>Intro -- 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. 
<br/><br/><label>ISBN: </label>9781470400804 
<br/><br/><label>Subjects--Topical Terms: </label><br/>First-order logic.<br/>Duality theory (Mathematics).<br/>Toposes.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9 -- .M355 1993eb 
<br/><br/><label>Dewey Class. No.: </label>511.3