Miscellaneous

I am the editor of the Intuitionism and Constructivism, Intuitionistic Logic, and Phenomenology of Mathematics categories on PhilPapers.

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

• nLab people entry

• Fediphilosophy profile

Some resources for students:

• Best logic journals