In Preparation (2021+)
(with H. Pillin and S. Nagler) Special Issue of KRITERION – Journal of Philosophy on Lakatos Undone Work: The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science.
(with S. Centrone and D. Kant) Reflections on the Foundations of Mathematics: Univeralent Foundations, Set Theory and General Thoughts. Synthese Library, Springer, Berlin, 2019. Pages (XXVIII, 494)
(with S. Centrone, S. Negri and P. Schuster) Mathesis Universalis, Computability and Proof. Synthese Library, Springer, Berlin, 2019. Pages (X, 374)