Full citation:

Carolin Antos, Neil Barton, Sy D. Friedman, Claudio Ternullo, John Wigglesworth (eds), Foundations of mathematics, Synthese 197 (2), 2020.