On Effective Numberings of Effective Definitional Schemes

Article type: Research Article

Authors: Orlicki, Andrzej

Affiliations: University of Toruń

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.

Keywords: effective definitional schemes, Godol quasi-numbering, complete numbering set

DOI: 10.3233/FI-1983-63-402

Journal: Fundamenta Informaticae, vol. 6, no. 3-4, pp. 235-245, 1983