On Effective Numberings of Effective Definitional Schemes
Andrzej Orlicki · Fundamenta Informaticae · 1983
We try to define effective numberings of the logic of effective definitional schemes which has been defined in Tiuryn [4]. It turns out that a reasonable way of doing it leads us to the functions which are not surjective. Therefore in the traditional sense they are not effective numberings. However, these functions induce “good” numberings of the set of functions computable by effective definitional schemes.