This site remains under construction, latest update: November 2018

Find my blog here.

Welcome to my web-page. My current research interests are 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.

Articles and preprints

Some interesting websites about science

David Hilbert
Scientific American
Improbable research
Appendix F
How to write mathematics

Other interests

More food!