Abstract <p>The paper discusses two approaches to defining the computability of numberings of families of total functions. We consider both the classical definition of computable numbering of a family of computable functions, according to which the number of a function in this numbering effectively provides its Gödel number, and, expanding the previous one, a definition based on the uniform application of the concept of the left-c.e. element of Baire space. The main question studied in the paper is the possibility of generating all computable numberings of a family by the closure with respect to the reducibility of infinite direct sums of uniform sequences of its single-valued, positive, and minimal numberings.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Infinite Direct Sums of Minimal Numberings of Functional Families

  • Sh. D. Nodirov,
  • M. Kh. Faizrahmanov,
  • Z. K. Shchedrikova

摘要

Abstract

The paper discusses two approaches to defining the computability of numberings of families of total functions. We consider both the classical definition of computable numbering of a family of computable functions, according to which the number of a function in this numbering effectively provides its Gödel number, and, expanding the previous one, a definition based on the uniform application of the concept of the left-c.e. element of Baire space. The main question studied in the paper is the possibility of generating all computable numberings of a family by the closure with respect to the reducibility of infinite direct sums of uniform sequences of its single-valued, positive, and minimal numberings.