{"id":"arxiv/2609.08092","url":"https://arxiv.org/abs/2609.08092","tags":["math.LO"],"score":0,"title":"A Bounded Finite-One Degree Whose One-One Degrees Form Exactly a Dense Linear Order","domain":"math.LO","source":"arxiv","authors":["Patrizio Cintioli"],"reviews":0,"subject":"math.LO","summary":"We construct a set $U\\leq_T\\emptyset''$ whose bounded finite-one degree, ordered internally by one-one reducibility, consists exactly of a countable dense linear order without endpoints. More precisely, \\[ \\left( \\{[B]_1:B\\equiv_{\\mathrm{bfo}}U\\},\\leq_1 \\right) \\cong (\\mathbb Q,\\leq). \\] This exact realization contrasts with two previous results. In earlier work, a bounded finite-one degree was constructed that contains a copy of $(\\mathbb Q,\\leq)$, but the same degree also contains an infinite antichain of one-one degrees and, more generally, embedded copies of all countable partial orders;…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}