The Forcing Project
The Forcing Project (2018-2023) is concerned with the fundamental question of conceptual change in the formal sciences. The project investigates the claim that such a conceptual change has happened in the unique setting of the so-called forcing technique in modern set theory.
Philosophy of set theory
I am currently working on a subproject relating the current debate in the universe-multiverse debate to the philosophy of science debate about inconsistency in the sciences.