553 research outputs found
The isometry degree of a computable copy of
When is a computable real so that , the isometry degree of a
computable copy of is defined to be the least powerful
Turing degree that computes a linear isometry of onto .
We show that this degree always exists and that when these degrees
are precisely the c.e. degrees
- …