History and philosophy of set theory

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.