Avsnitt Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines Mathematical, Foundational and Computational Aspects of the Higher Infinite Spela Dela