Aguilera, J. P., Bagaria, J., Lücke, P. (2026). Large infinities and definable sets. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2528175123