|Thursday 24 September 2020|
|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.