Ivan Di Liberti: \vdash vs \models
Time: Wed 2022-10-05 13.00
Location: Albano, Cramer room
Participating: Ivan Di Liberti
This talk is a soft introduction to the broad topic of semantic completeness for a formal system with a geometric point of view. We will start with the completeness theorem for boolean algebras and build on that, keeping the geometric point of view given by Stone Duality. I will describe some open questions on the topic and underline the multidisciplinary aspects of the field, which intersects geometry at its very core.