{"product_id":"sheaves-games-and-model-completions-silvio-ghilardi-9781402006609","title":"Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics","description":"This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model- completions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to proposi- tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called 'Pitts' quantifiers' or 'bisimulation quantifiers'. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al- gebras, with related applications to propositional logics, both standard (like Beth's theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor- ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Silvio Ghilardi,M. Zawadowski\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1402006608\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781402006609\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/31\/2002\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 245\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.19lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.63d","brand":"Silvio Ghilardi","offers":[{"title":"Hardcover","offer_id":47424297500927,"sku":"9781402006609","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_5e52ff82-843f-433d-969c-58af62d18b61.jpg?v=1761529443","url":"https:\/\/www.whiterainbookhouse.com\/products\/sheaves-games-and-model-completions-silvio-ghilardi-9781402006609","provider":"WR Book House","version":"1.0","type":"link"}