Home

Welcome to my web-page. My current research interests are theories of concatenation, weak concrete incompleteness phenomena, phase transitions for incompleteness, and reverse mathematics.

To read more about mathematical incompleteness I recommend Prof. Harvey Friedman’s webpage, which also contains an extensive overview in the introduction of his book on Boolean Relation Theory.

For more on phase transitions: My supervisor’s webpage.

This research relies heavily on results from proof theory, for a compact introduction visit Prof. Wilfried Buchholz’s webpage.

The standard work for an introduction into reverse mathematics is Subsystems of Second Order Arithmetic, by Stephen G. Simpson.