In papers of 1944 and 1946, McKinsey and Tarski initiated the study of closure algebras�Boolean algebras equipped with an operation obeying a version of Kuratowski�s axioms�and in 1948 they applied their results to reach conclusions about intuitionistic logic and the modal logic S4. In 1982 Lipparini found non-elementary axioms for existentially closed (e.c.) closure algebras and showed that they do not form an elementary class. After reviewing relevant model-theoretic notions, this talk will survey new results about closure algebras that are e.c., (finitely or infinitely) generic, or algebraically closed.
Please send an email to r.zoghi@gmail.com to join this lecture.