{"id":"arxiv/2610.39172","url":"https://arxiv.org/abs/2610.39172","tags":["math.LO"],"score":0,"title":"Cardinality of the K-cones below a non infinitely often $K$-trivial","domain":"math.LO","source":"arxiv","authors":["George Barmpalias","Lu Liu"],"reviews":0,"subject":"math.LO","summary":"Given a real $x\\in 2^ω$, how many reals are there that are simpler (or equally simple) to describe than $x$. With ``simpler to describe\" characterized by $K$-complexity of initial segments (hence we call such $y$ with $y\\leq_K x$ a solution to $x$), if $x$ is infinitely often $K$-trivial (hence i.o. $K$-trivial), then a simple counting argument shows that the number of solutions to $x$ is countable. If $x$ is non i.o. $K$-trivial, then must it admit uncountably many solutions? Motivated by this question, we show that: (1) There is a non i.o. $K$-trivial $x$ such that most of its solution is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}