Member for 4 months
Last seen this week
I am a mathematician currently affiliated with the Department of Philosophy II of RUB Bochum.
My research is in higher-order Reverse Mathematics and Computability Theory, working closely with Dag Normann (University of Oslo).
The following paper provides a good example of our research: