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