The isometry degree of a computable copy of ${\ell }^p$

Timothy H. McNicholl, D. M. Stull

When $p$ is a computable real so that $p\ge 1$, the isometry degree of a computable copy $\mathcal{B}$ of ${\ell }^p$ is defined to be the least powerful Turing degree that computes…