Abstract
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.
Similar content being viewed by others
References
Anderson, B., Csima, B.: Degrees that are not degrees of categoricity. Notre Dame J. Form. Log. (2016). https://doi.org/10.1215/00294527-3496154
Cembranos, P., Mendoza, J.: Banach Spaces of Vector-Valued Functions, Lecture Notes in Mathematics, vol. 1676. Springer, Berlin (1997)
Clanin, J., McNicholl, T.H., Stull, D.M.: Analytic computable structure theory and \(L^p\) spaces. Fund. Math. 244(3), 255–285 (2019)
Csima, B.F., Franklin, J.N.Y., Shore, R.A.: Degrees of categoricity and the hyperarithmetic hierarchy. Notre Dame J. Form. Log. 54(2), 215–231 (2013)
Fokina, E.B., Kalimullin, I., Miller, R.: Degrees of categoricity of computable structures. Arch. Math. Logic 49(1), 51–67 (2010)
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)
McNicholl, T.H.: Computable copies of \(\ell ^p\). Computability 6(4), 391–408 (2017)
Melnikov, A.G.: Computably isometric spaces. J. Symb. Log. 78(4), 1055–1085 (2013)
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)
Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin (1989)
Acknowledgements
We thank Diego Rojas for proofreading and several valuable suggestions. We also thank the referee for suggesting many significant improvements.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The second author was supported in by Simons Foundation Grant # 317870.
Rights and permissions
About this article
Cite this article
Brown, T., McNicholl, T.H. Analytic computable structure theory and \(L^p\)-spaces part 2. Arch. Math. Logic 59, 427–443 (2020). https://doi.org/10.1007/s00153-019-00697-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-019-00697-4