Resurrection Principles

This will be a talk for the IMS Logic Summer School at the National University of Singapore on the June 26th 2023. Abstract. The resurrection principle (RP) asserts that, in each forcing extension, all true assertions with real parameters retain their forceability throughout subsequent forcing extensions. This property exhibits deep connections with set-theoretic geology, the […]

Read More Resurrection Principles

Usuba’s extendible and resurrection, IMS GRADUATE SUMMER SCHOOL IN LOGIC, July 2022

I shall talk about the tension between resurrection and large cardinals at the IMS Graduate Summer School in Logic at the National University of Singapore, 7th of July 2022. Abstract. The mantle is the intersection of all ground models of the universe. By a result of Usuba, the mantle is a ground in the presence of […]

Read More Usuba’s extendible and resurrection, IMS GRADUATE SUMMER SCHOOL IN LOGIC, July 2022

Modal theory of the category of sets

This was a talk for the Junior Logic Seminar at the University of Oxford, 7th of June 2022. Abstract. I shall investigate the modal theories and validities in a variety of cases arising from the archetypical concrete category of sets and functions. I introduce new insights into the method of control statements, answering a MathOverflow […]

Read More Modal theory of the category of sets