Miscellaneous
I edit the Intuitionism and Constructivism, Intuitionistic Logic, Type Theory in Mathematics, and Phenomenology of Mathematics categories on PhilPapers. I am proud to be one among the top one hundred volunteers who have contributed the most updates to the website.
My Erdös number is 4 (B. Bentzen → D. Gabbay → J. Barwise → K. Kunen →P. Erdös)
Here you may find some additional information about me:
Here are some other places you will find me on:
Some resources for students: