Timeline for A translation of the Cantor set contained in the irrationals
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2014 at 20:40 | comment | added | Bjørn Kjos-Hanssen | I guess the set $q-C$ is fairly simple, so a resource-bounded random real (like a polynomial time random one) should suffice. Perhaps one of those is even sort of explicitly definable, like a "polynomial time $\Omega$"... | |
| Feb 22, 2014 at 20:25 | comment | added | Noah Schweber | Is it clear that there is a computable example? The Baire category argument just says that there are comeager-many examples. | |
| Feb 22, 2014 at 20:19 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |