Analytic computable structure theory and $L^p$-spaces part 2
Logic
2019-04-30 v2
Abstract
Suppose is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable 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.
Cite
@article{arxiv.1801.00355,
title = {Analytic computable structure theory and $L^p$-spaces part 2},
author = {Tyler Brown and Timothy H. McNicholl},
journal= {arXiv preprint arXiv:1801.00355},
year = {2019}
}