The tension between large cardinals and resurrection, Cambridge March 2023

I shall give a short talk about the tension between the strong axioms of infinity and resurrection. This time at the Set Theory in The United Kingdom meeting at the University of Cambridge, 7th of March 2023. If time permits, I shall sketch a proof of the failure of necessary -resurrection. Abstract. Usuba proved that the […]

Modal graph theory as a foundation of mathematics

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 […]