This will be a talk for the Barcelona Set Theory Seminar, 17 March 2021 4 PM CET (3 PM UK, 4 PM Poland). I understand the talk will be held on Zoom; please contact Claudio Ternullo for access. Abstract. One can consider the class of all graphs as a Kripke model of possible worlds, where […]

Read More Modal graph theory as a foundation of mathematics