Member for 10 years, 7 months
Last seen more than a week 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.