Skip to main content
To KTH's start page To KTH's start page

Ivan Di Liberti: \vdash vs \models

Time: Wed 2022-10-05 13.00

Location: Albano, Cramer room

Participating: Ivan Di Liberti

Export to calendar


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.