Miscellaneous

I edit the following categories on PhilPapers: Intuitionism and Constructivism, Intuitionistic Logic, Type Theory in Mathematics, Predicativism in Mathematics, Phenomenology of Mathematics, Husserl: Philosophy of Mathematics, Mathematical Finitism, Frege: Philosophy of Mathematics, Frege: Works, Russell's Theory of Types, and Michael Dummett. I am proud to be one of top 50 most active volunteers in the community.

My Erdös number is 4 through the path 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