# Ivan Di Liberti: \vdash vs \models

**Time: **
Wed 2022-10-05 13.00

**Location: **
Albano, Cramer room

**Participating: **
Ivan Di Liberti

### 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.