Weak representability conjecture for measurable preimage functions
Weak representability conjecture for measurable preimage functions
Let and be the parameters for the corresponding Borel measurability levels, and let and be Polish represented spaces. Write for the computable endofunctor capturing Borel measurability, and let denote the space of continuously represented preimage functions. Weak representability conjecture. The underlying sets of
and
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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.