Accession Number : AD0703757

Title :   EMBEDDINGS OF PRIMITIVE RECURSIVE COMPUTABLE GROUPS.

Descriptive Note : Doctoral thesis,

Corporate Author : CALIFORNIA UNIV IRVINE DEPT OF MATHEMATICS

Personal Author(s) : Gatterdam,Ronald Wallace

Report Date : 30 JAN 1970

Pagination or Media Count : 99

Abstract : The purpose of the paper is to show that the Higman embedding preserves primitive recursive computability. More generally it is shown that for A, a recursively enumberable subset of the natural numbers and G, and A-primitive recursive computable group G can be embedded as an A-primitive recursive decidable subgroup of a finitely presented, A-primitive recursive computable group. (Author)

Descriptors :   (*GROUPS(MATHEMATICS), THEOREMS), MATHEMATICAL LOGIC, SET THEORY, THESES

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE