Cardinality of the K-cones below a non infinitely often $K$-trivial
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.39172
curl -X POST /api/v1/records/arxiv/2610.39172/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.39172/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'