Strong representability conjecture for measurable preimage functions

Let nn and mm be the parameters for the corresponding Borel measurability levels, and let X\mathbf{X} and Y\mathbf{Y} be Polish represented spaces. Write b\mathfrak{b} for the computable endofunctor capturing Borel measurability, and let C1\mathcal{C}_{-1} denote the space of continuously represented preimage functions. Strong representability conjecture. The spaces

C1(O(n)(Y),b(O(m)(X)))\mathcal{C}_{-1}(\mathcal{O}^{(n)}(\mathbf{Y}), \mathfrak{b}\left (\mathcal{O}^{(m)}(\mathbf{X})\right ))

and

bC1(O(n)(Y),(O(m)(X)))\mathfrak{b}\,\mathcal{C}_{-1}(\mathcal{O}^{(n)}(\mathbf{Y}), \left (\mathcal{O}^{(m)}(\mathbf{X})\right ))

are computably isomorphic. This strengthens the weak conjecture from equality of underlying sets to an isomorphism of the represented spaces, and its resolution would clarify how Borel measurability interacts with computable representations of preimage functions.

Sources & referencesView supporting material

Primary source

Arno Pauly, “The descriptive theory of represented spaces”, arXiv:1408.5329 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.