Till innehåll på sidan

Ivan Di Liberti: \vdash vs \models

Tid: On 2022-10-05 kl 13.00

Plats: Albano, Cramer room

Medverkande: Ivan Di Liberti

Exportera till kalender

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.