Assertion: set | /r/UsedFor | refer to the use of recursion theory
Facets:
value: in formalizations
type: OTHER
Source sentences:
text: The set being enumerated is then called recursively enumerable (or computably enumerable in more contemporary language), referring to the use of recursion theory in formalizations of what it means for the map to be computable.