Search
2020
with Antos Carolin, Ternullo Claudio, Friedman Sy David, Wigglesworth John
Synthese 197/2
with Friedman Sy David
Foundations of mathematics