Affiliation:
1. Al-Farabi Kazakh National University
Abstract
The paper is devoted to research existence property of universal numberings for different computable families. A numbering α is reducible to a numbering β if there is computable function ƒ such that α = β ◦ ƒ. A computable numbering α for some family S is universal if any computable numbering β for the family S is reducible to α. It is well known that the family of all computably enumerable (c.e.) sets has a computable universal numbering. In this paper, we study families of almost all c.e. sets, recursive sets, and almost all differences of c.e. sets, namely questions about the existence of universal numberings for given families. We proved that there is no universal numbering for the family of all recursive sets. For families of c.e. sets without an empty set or a finite number of finite sets, there still exists a universal numbering. However, for families of all c.e. sets without an infinite set, there is no universal numbering. Also, we proved that family ∑2-1 \ Β and the family ∑1-1 has no universal ∑2-1-computable numbering for any Β ∈ ∑2-1.
Publisher
Kazakh-British Technical University
Reference27 articles.
1. Yu. L. Ershov. (1977) Theory of Numerations, Nauka, Moscow. (In Russian)
2. Badaev S.A., Goncharov S.S. Theory of numberings: open problems. // Computability Theory and Its Applications, Amer. Math. Soc., Providences, 2000, pp. 23–38.
3. Friedberg, R.M. Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication. J. Symb. Log. 23, 309–316 (1958)/
4. Badaev S.A. On minimal enumerations, Siberian Adv. Math., 1992, v. 2, no. 1, pp. 1–30.
5. Badaev S.A. On cardinality of semilattices of numberings of non-discrete families, Sib. Math. J., 1993, v. 34, no. 5, pp. 795–800.