Abstract
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.
Get full access to this article
View all access options for this article.