{"id":"arxiv/2602.23572","url":"https://arxiv.org/abs/2602.23572","tags":["math.LO"],"score":0,"title":"Characterising SJT reducibility","domain":"math.LO","source":"arxiv","authors":["Noam Greenberg","Andre Nies","Dan Turetsky"],"reviews":0,"subject":"math.LO","summary":"SJT reducibility between sets $A,B \\subseteq \\mathbb N$ is defined by $A \\le_{SJT} B$ if for each computable function $h$ that is unbounded and nondecreasing, there is an $h$-bounded uniformly $B$-c.e.\\ trace $(T_n)_{n \\in \\mathbb N} $ such that for each $n$, the value $J^A(n)$ of the jump is in $T_n$, if defined. This reducibility is slightly weaker than Turing reducibility. We study SJT reducibility, and as a main result give several characterisations of it on the $K$-trivial sets. This is the first case of extending the three lowness paradigms, weak as an oracle, computed by many, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-27","reactions":{}}