A note on the computable categoricity of l^p spaces

Abstract

Suppose $p$ is a computable real so that $p\ge 1$. We show that in both the real and complex case $l^p$ is computably categorical if and only if $p\ne 2$.