nLab Laura Fontanella

• webpage

Selected publications

• Laura Fontanella, How to Choose New Axioms for Set Theory?, in: Reflections on the Foundations of Mathematics, Synthese Library 407 Springer (2019) [doi:10.1007/978-3-030-15655-8_2, pdf]

On realizability models for large cardinals:

• Laura Fontanella, Guillaume Geoffroy, Richard Matthews: Realizability Models for Large Cardinals, In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 28:1-28:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) [10.4230/LIPIcs.CSL.2024.28]

category: people