Invariance of transfinite jumps under lower-level piecewise operators

Let β\beta and α\alpha be ordinals with β<α\beta < \alpha, and let X\mathbf{X} be a represented space. Write X(α)\mathbf{X}^{(\alpha)} for its α\alpha-th jump and χ(β)\chi^{(\beta)} for the corresponding piecewise operator. Invariance conjecture. If β<α\beta < \alpha, then

χ(β)X(α)X(α).\chi^{(\beta)}\mathbf{X}^{(\alpha)} \cong \mathbf{X}^{(\alpha)}.

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

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.