Invariance of transfinite jumps under lower-level piecewise operators
Invariance of transfinite jumps under lower-level piecewise operators
Let and be ordinals with , and let be a represented space. Write for its -th jump and for the corresponding piecewise operator. Invariance conjecture. If , then
This asserts that applying a piecewise operator of strictly lower transfinite level does not change the represented space at the higher jump level. The supplied text gives no evidence about whether the claim has been proved or refuted.
Sources & referencesView supporting material
Primary source
Arno Pauly and Matthew de Brecht, “Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces”, arXiv:1307.1850 (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.