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