I edit the following categories on PhilPapers: Intuitionism and Constructivism, Intuitionistic Logic, Type Theory in Mathematics, Phenomenology of Mathematics, Frege: Philosophy of Mathematics, and Michael Dummett. I am proud to be one of the top one hundred volunteers in the community.
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: