Advertisement

Algebra and Logic

, Volume 22, Issue 5, pp 345–350 | Cite as

Positive numerations of families with one-valued numerations

  • S. S. Goncharov
Article

Keywords

Mathematical Logic Positive Numeration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    S. A. Badaev, "On positive numerations," Sib. Mat. Zh.,18, No. 3, 483–496 (1977).Google Scholar
  2. 2.
    S. S. Goncharov, "The problem of the number of nonautoequivalent constructivizations," Dokl. Akad. Nauk SSSR,25, No. 2, 271–274 (1980).Google Scholar
  3. 3.
    S. S. Goncharov, "Computable one-valued numerations," Algebra Logika,19, No. 5, 507–551 (1980).Google Scholar
  4. 4.
    S. S. Goncharov, "Nonautoequivalent constructivizations," Tr. IM SO AN SSSR, Novosibirsk,2, (1982).Google Scholar
  5. 5.
    Yu. L. Ershov, Theory of Numerations [in Russian], Nauka, Moscow (1977).Google Scholar
  6. 6.
    I. A. Lavrov, "Computable numberings," in: Logic, Foundations of Mathematics, and Computability Theory, pp. 195–206.Google Scholar
  7. 7.
    A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).Google Scholar
  8. 8.
    A. I. Mal'tsev, "Positive and negative numerations," Dokl. Akad. Nauk SSSR,160, No. 2, 278–280 (1965).Google Scholar
  9. 9.
    S. S. Marchenkov, "On computable numerations of families of general recursive functions," Algebra Logika,11, No. 5, 588–607 (1972).Google Scholar
  10. 10.
    H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, (1967).Google Scholar
  11. 11.
    V. L. Selivanov, "Two theorems on computable numerations," Algebra Logika,15, No. 4, 470–484 (1976).Google Scholar

Copyright information

© Plenum Publishing Corporation 1984

Authors and Affiliations

  • S. S. Goncharov

There are no affiliations available

Personalised recommendations