Affordable Access

Publisher Website

Representation of one-one degrees by decision problems for system functions

Authors
Journal
Journal of Computer and System Sciences
0022-0000
Publisher
Elsevier
Publication Date
Volume
24
Issue
3
Identifiers
DOI: 10.1016/0022-0000(82)90033-2
Disciplines
  • Mathematics

Abstract

Abstract 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.

There are no comments yet on this publication. Be the first to share your thoughts.