Ivan Di Liberti: \vdash vs \models

Abstract

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.