badaev-s 1
1.
A non-computable c.e. closed subset of [0, 1]
1