TY  - RPRT
TI  - A non-computable c.e. closed subset of $[0,1]$
AU  - Serikzhan Badaev
AU  - Nikolay Bazhenov
AU  - Sergey Goncharov
AU  - Birzhan Kalmurzayev
AU  - Alexander Melnikov
PY  - 2025
DO  - 10.1093/logcom/exaf043
UR  - https://arxiv.org/abs/2508.06187
ID  - 2508.06187
ER  -