My research in mathematical logic is broadly concerned with the Foundations of Mathematics and focuses in particular on proof theoretic investigations. It is complemented by work in the History of ...