Domain and range characterizations of a nonempty computably enumerable set

ID: domain-and-range-characterizations-of-a-nonempty-computably-enumerable-set

For a nonempty set of words, the following are equivalent: is computably enumerable, is the domain of a partial computable function, is the range of a partial computable function, and is the range of a total computable function. The nonempty hypothesis is needed only for the last formulation, since the range of a total function cannot be empty.

New to topics? Read the docs here!