{"id":"arxiv/2606.08455","url":"https://arxiv.org/abs/2606.08455","tags":["math.LO"],"score":0,"title":"On Constructive Connectedness Properties","domain":"math.LO","source":"arxiv","authors":["Douglas S. Bridges"],"reviews":0,"subject":"math.LO","summary":"We plug two gaps in the constructive proof of Theorem 1 (respectively, Theorem 2) in dsb , showing that the property of C-connectedness (respectively, O-connectedness) of a subset S of R is equivalent to S containing the interval [a,b] (respectively, (a,b)) whenever a and b are in S and a < b.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-07","reactions":{}}