Advertisement

Siberian Mathematical Journal

, Volume 49, Issue 2, pp 239–245 | Cite as

e-Principal numberings

  • A. N. DëgtevEmail author
  • M. L. Platonov
Article
  • 13 Downloads

Abstract

We prove the existence of the computable families of finite sets and general recursive functions with no e-principal numbering. We give a series of examples of e-degrees such that the p-degrees of their computable numberings include no top p-degree.

Keywords

partial recursive function recursively enumerable set computable numbering e-reducibility p-reducibility 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dëgtev A. N., “On reducibility of numberings,” Mat. Sb., 112, No. 2, 207–219 (1980).MathSciNetGoogle Scholar
  2. 2.
    Ershov Yu. L., Theory of Numberings. Vol. 1 [in Russian], Nauka, Moscow (1977).Google Scholar
  3. 3.
    Marchenkov S. S., “Computable numberings of the families of general recursive functions,” Algebra i Logika, 11, No. 5, 588–607 (1972).MathSciNetGoogle Scholar
  4. 4.
    Jockush C. G., “Semirecursive sets and positive reducibility,” Trans. Amer. Math. Soc., 131, No. 5, 420–436 (1968).CrossRefMathSciNetGoogle Scholar
  5. 5.
    Lachlan A. H., “Lower bounds for pairs of r.e. degrees,” Ann. Proc. London Math. Soc., 16, No. 5, 537–569 (1966).zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Degtev A. N., “On p-reducibility of numerations,” Ann. Pure Appl. Logic, 63, No. 5, 57–60 (1993).zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media, Inc. 2008

Authors and Affiliations

  1. 1.Tyumen’ State UniversityTyumen’Russia

Personalised recommendations