Large infinities and definable sets - J. P. Aguilera; J. Bagaria; P. Lücke (Proceedings of the National Academy of Sciences, 2026)