Member for 8 years, 9 months
Last seen more than a month ago
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:
This user hasn’t posted yet.