Miscellaneous

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:

• Institutional webpage

• Academic genealogy

• Personal bio

Here are some other places you will find me on:

• PhilPeople profile

• Google Scholar profile

• ResearchGate profile

• ORCID profile

• dblp profile

• Academia.edu profile

• Github profile

• zbMATH profile

• nLab people entry

• Fediphilosophy profile

Some resources for students:

• Best logic journals