Assertion: set's number | /r/HasProperty | enumerated by arbitrary function
Facets:
value: with only countably many computable functions
type: OTHER
value: with domain ω
type: OTHER
Source sentences:
text: However, these definitions characterize distinct classes since there are uncountably many subsets of the natural numbers that can be enumerated by an arbitrary function with domain ω and only countably many computable functions.