The separation of increasing and decreasing Turing-degree chains

For pNNp\in\mathbb{N}^{\mathbb{N}}, let TDINC(p)\mathsf{TDINC}(p) consist of sequences p0,p1,p2,\langle p_0,p_1,p_2,\ldots\rangle such that, for every ii, p<Tpi<Tpi+1p<_{\mathrm{T}}p_i<_{\mathrm{T}}p_{i+1}, and let TDDEC(p)\mathsf{TDDEC}(p) consist of sequences such that, for every ii, p<Tpi+1<Tpip<_{\mathrm{T}}p_{i+1}<_{\mathrm{T}}p_i. The chain-separation conjecture.

TDINC̸WTDDEC.\mathsf{TDINC}\mathop{\not\leq_{\mathrm{W}}}\mathsf{TDDEC}.

This is presented as the next conjecture implying the strict separation between NONω\mathsf{NON}^\omega and NON\mathsf{NON}^\infty; its resolution is left open in the supplied text.

Sources & referencesView supporting material

Primary source

Vasco Brattka, “Loops, Inverse Limits and Non-Determinism”, arXiv:2501.17734 (2025).

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.