Applications of infinity-Borel codes to definability and definable cardinals. - Chan, William; Jackson, Stephen (Fundamenta Mathematicae, 2024)