Avsnitt Another proof of the Jayne-Rogers theorem Mathematical, Foundational and Computational Aspects of the Higher Infinite Spela Dela