Analytic computable structure theory and L^p-spaces part 2

2017/12/31 by Brown, Tyler, McNicholl, Timothy H.
#03D45 #03D78 #46E30 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1801.00355

Abstract

Suppose p ≥ 1 is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable L^p spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we determine the degrees of categoricity of these spaces and the complexity of associated projection maps.

Related

• Analytic computable structure theory and L^p spaces
• A note on the computable categoricity of l^p spaces
• On the topological aspects of the theory of represented spaces
• Computable copies of ℓ^p
• A project about chains of spaces, regarding topological and algebraic\n genericity and spaceability