Representation of one-one degrees by decision problems for system functions
作者：
Highlights：
•
摘要
In this paper the existence of a System function is shown: a kind of Combinatorial System defined by Cleave; such that arbitrary distinct recursively enumerable one-one degrees can be represented by distinct decision problems for this System function.
论文关键词：
论文评审过程：Revised 15 February 1982, Available online 5 January 2004.
论文官网地址：https://doi.org/10.1016/0022-0000(82)90033-2
