Accession Number : AD0693117

Title :   RECURSIVELY COUNTABLE SUBSETS OF RECURSIVE METRIC SPACES,

Corporate Author : RAND CORP SANTA MONICA CALIF

Personal Author(s) : Shapiro,N. Z.

Report Date : AUG 1969

Pagination or Media Count : 16

Abstract : The subset of a recursive metric space, M, is defined as recursively enumerable (r.e.) if it is the range of a recursive sequence of elements of M. It is recursively countable if it is a subset of an r.e. subset of M. It is known that if M satisfies certain conditions, the range of an effective map from a recursively enumerable set of natural numbers into M is 'thin' in the sense that its complement is dense in M. This study places conditions on a set I of natural numbers that will guarantee that the image of every effective mapping from I into M will be thin in that sense. (Author)

Descriptors :   (*RECURSIVE FUNCTIONS, TOPOLOGY), MATHEMATICAL LOGIC, MAPPING(TRANSFORMATIONS), SET THEORY, THEOREMS

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE