2020
with Antos Carolin, Ternullo Claudio, Friedman Sy David, Barton Neil
Synthese 197/2
Foundations of mathematics
