Strong representability conjecture for measurable preimage functions

About 12 years old · traced to

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 C−1\mathcal{C}_{-1} denote the space of continuously represented preimage functions. Strong representability conjecture. The spaces

C−1(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

b C−1(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.

References

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.