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

The Mathematical Multiverse

I shall speak about some recent developments on the subject of modal model theory for the Junior Logic Seminar at the University of Oxford. The talk, titled The Mathematical Multiverse, will take place at the Mathematical Institute on November 16, 2021 at 5PM UK time. Please contact Brian Tyrrell should you like to join us. […]

Read More The Mathematical Multiverse

British Logic Colloquium PhD day

I gave a short introductory talk on modal model theory for the British Logic Colloquium PhD day, taking place at 1st September 2021 as a part of the BLC Annual Meeting 2021 at Durham University. I explained the general idea and gave an update on the progress of my research, pointing out some new directions towards which […]

Read More British Logic Colloquium PhD day