Weak representability conjecture for measurable preimage functions

Let nn and mm be the parameters for the corresponding Borel measurability levels, and let X\boldsymbol{X} and Y\boldsymbol{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. Weak representability conjecture. The underlying sets of

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

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

contain the same elements. This conjecture asks whether adding the Borel-measurability endofunctor changes the underlying collection of such preimage functions, beyond changing its represented-space structure.

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.