Enumerable Set

Enumerable Set

 

the set of natural numbers or a set of other constructive objects that can be put into a one-to-one correspondence with the natural numbers. An enumerable set is definable by some general recursive function.

References in periodicals archive ?
A problem is considered to be partially decidable, semidecidable, solvable, or provable if A is a recursively enumerable set.
He argues that the intuitively provable arithmetic sentences constitute a recursively enumerable set, which has a Godel sentence which is itself intuitively provable.
n] (the phase) is defined on some enumerable set l; the sequence of phases (In) take values on state space I.