IPM Calendar 
Thursday 24 September 2020   Today  
Events for day: Wednesday 09 September 2020    
           15:30 - 17:30     Mathtematical Logic Weekly Seminar
Existentially Closed Closure Algebras.


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.