Journal or Book Title
When p is a computable real so that p⩾1, we define the isometry degree of a computable presentation of ℓp to be the least powerful Turing degree d by which it is d-computably isometrically isomorphic to the standard presentation of ℓp. We show that this degree always exists and that when p≠2 these degrees are precisely the c.e. degrees.
IOS Press and the authors
McNicholl, Timothy H. and Stull, Donald M., "The isometry degree of a computable copy of ℓp" (2019). Mathematics Publications. 260.