TY - RPRT TI - The isometry degree of a computable copy of $\ell^p$ AU - Timothy H. McNicholl AU - D. M. Stull PY - 2019 UR - https://arxiv.org/abs/1605.00641 ID - 1605.00641 ER -