Effectivity and reducibility with ordinal Turing machines
Effectivity and reducibility with ordinal Turing machines
This article expands our work in (LNCS 9709 (2016), 225–233). By its reliance on Turing computability, the classical theory of effectivity, along with effective reducibility and Weihrauch reducibility, is only applicable to objects that are either countable or can be encoded by countable objects. We propose a notion of effectivity …