Skip to main content
Article
Analytic computable structure theory and Lp spaces
Fundamenta Mathematicae
  • Joe Clanin, Iowa State University
  • Timothy H. McNicholl, Iowa State University
  • Don M. Stull, Iowa State University
Document Type
Article
Publication Version
Accepted Manuscript
Publication Date
1-1-2019
DOI
10.4064/fm448-5-2018
Abstract

We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if p ≥ 1 is a computable real, and if Ω is a nonzero, non-atomic, and separable measure space, then every computable presentation of Lᵖ(Ω) is computably linearly isometric to the standard computable presentation of Lᵖ[0, 1]; in particular, Lᵖ[0, 1] is computably categorical. We also show that there is a measure space Ω that does not have a computable presentation even though Lᵖ(Ω) does for every computable real p ≥ 1.

Comments

This is a manuscript of an article published as Clanin, Joe, Timothy H. McNicholl, and Don M. Stull. "Analytic computable structure theory and Lp spaces." Fundamenta Mathematicae 244 (2019): 255-285. doi: 10.4064/fm448-5-2018. Posted with permission.

Copyright Owner
Institute of Mathematics, Polish Academy of Sciences
Language
en
File Format
application/pdf
Citation Information
Joe Clanin, Timothy H. McNicholl and Don M. Stull. "Analytic computable structure theory and Lp spaces" Fundamenta Mathematicae Vol. 244 (2019) p. 255 - 285
Available at: http://works.bepress.com/timothy-mcnicholl/32/