Assertion: computable real | /r/HasProperty | represented as dedekind cuts
Facets:
Source sentences:
text: A similar problem occurs when the computable reals are represented as Dedekind cuts.