Analytic computable structure theory and $L^p$ spaces
Joe Clanin, Timothy H. McNicholl, D. M. Stull · Fundamenta Mathematicae · 2018
We continue the investigation of analytic spaces from the perspective of computable structure theory. We show that if $p \geq 1$ is a computable real, and if $\Omega $ is a nonzero, nonatomic, and separable measure space, then every computable presentatio