Strong representability conjecture for measurable preimage functions
Strong 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. Strong representability conjecture. The spaces
and
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
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.