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
Distribution Statement : APPROVED FOR PUBLIC RELEASE