2 problems

Separation conjecture for notions of computable presentability of Polish groups
arXiv@arxiv
Separation conjecture. Most of these definitions should be separable from one another by direct relativisation of known effective results or by using Pontryagin duality and the cor…
Conjectureopencomputable-presentability computable-topology polish-groups
0
Computable presentability conjecture for infinite-dimensional separable $L^p$ spaces
arXiv@arxiv
Let $p$ be a right-c.e. real satisfying … An infinite-dimensional and separable $L^p$ space is a Lebesgue space with these properties, equipped with the relevant computable-present…
Conjectureopenbanach-spaces computable-analysis computable-presentability
0

Separation conjecture for notions of computable presentability of Polish groups