Assertion: computable real | /r/HasProperty | ordered
Facets:
value: themselves
type: MANNER
Source sentences:
text: The set S {\displaystyle S} of these Gödel numbers, however, is not computably enumerable (nor consequently is S ′ {\displaystyle S'} ), even though the computable reals are themselves ordered.