Accession Number : AD0696952

Title :   UNIFORM ENUMERATION OPERATIONS.

Descriptive Note : Technical rept.,

Corporate Author : IOWA UNIV IOWA CITY DEPT OF MATHEMATICS

Personal Author(s) : Lachlan,Alistair H.

Report Date : OCT 1969

Pagination or Media Count : 32

Abstract : Operations are considered, such as the jump operation on the degrees of unsolvability. Let phi be an operation mapping sets of natural numbers into sets of natural numbers such that phi (X) is uniformly recursively enumerable in X. Let phi be such that if reductions of A to B and vice-versa are given then reductions of phi (A) to phi (B) and vice-versa can be found effectively. The operation that phi induces on the degrees of unsolvability is called a 'uniform enumeration operation.' Several properties of such operations are found. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, *RECURSIVE FUNCTIONS), (*COMBINATORIAL ANALYSIS, AUTOMATA), SET THEORY, THEOREMS

Subject Categories : Theoretical Mathematics
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE