Analytic computable structure theory and \(L^p\)-spaces part 2
- 1 Downloads
Suppose \(p \ge 1\) is a computable real. We extend previous work of Clanin, Stull, and McNicholl by determining the degrees of categoricity of the separable \(L^p\) spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we ascertain the complexity of associated projection maps.
KeywordsComputable analysis Computable structure theory Functional analysis
Mathematics Subject Classification03D45 03D78 46B04
We thank Diego Rojas for proofreading and several valuable suggestions. We also thank the referee for suggesting many significant improvements.
- 3.Clanin, J., McNicholl, T.H., Stull, D.M.: Analytic computable structure theory and \(L^p\) spaces. Fund. Math. 244(3), 255–285 (2019)Google Scholar
- 6.McNicholl, T.H.: A note on the computable categoricity of \(\ell ^p\) spaces. In: Evolving Computability, Lecture Notes in Computer Science, vol. 9136, pp. 268–275. Springer, Cham (2015)Google Scholar
- 7.McNicholl, T.H.: Computable copies of \(\ell ^p\). Computability 6(4), 391–408 (2017)Google Scholar
- 9.Melnikov, A.G., Nies, A.: The classification problem for compact computable metric spaces. In: The Nature of Computation, Lecture Notes in Computer Science, vol. 7921, pp. 320–328. Springer, Heidelberg (2013)Google Scholar