Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Synopsis
Investigates 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 propositional modal logic. Ghilardi (University of Milan) and Zawadowski (University of Warsaw) emphasize sheaf representations, demonstrating that much of the categorical structure of finitely presented algebras is a restriction of the natural structure of sheaves. They introduce Ehrenfeucht-Fraisse games over finite Kripke models, prove that diagonalizable algebras admit a model completion, and examine Grothendieck topologies on closed algebras. A glossary of category theory is provided. Annotation (c)2003 Book News, Inc., Portland, OR