{"id":"arxiv/2610.02027","url":"https://arxiv.org/abs/2610.02027","tags":["math.LO"],"score":0,"title":"Cone Avoidance and the No-Least-Join Theorem","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"We give a column-avoidance modification of the no-least-join construction of Downey, Greenberg, Lewis, and Montalbán. We show that if $C$ is computably enumerable, $A,B<_T C$, and $A\\not\\leq_T B$, then for every noncomputable set $E$ there is a set $X\\leq_T C$ such that $B\\leq_T A\\oplus X$ and $E\\not\\leq_T X$. Consequently, for the corresponding Turing degrees $a,b,c$, the degrees $x\\leq c$ satisfying $b\\leq a\\vee x$ have no nonzero common lower bound; equivalently, no nonzero Turing cone contains all of them. This gives a negative answer to their Question 1.19.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}