Type: Article
Publication Date: 2019-09-19
Citations: 0
DOI: https://doi.org/10.1017/jsl.2019.65
Abstract We show that for each computable ordinal $\alpha > 0$ it is possible to find in each Martin-Löf random ${\rm{\Delta }}_2^0 $ degree a sequence R of Cantor-Bendixson rank α , while ensuring that the sequences that inductively witness R ’s rank are all Martin-Löf random with respect to a single countably supported and computable measure. This is a strengthening for random degrees of a recent result of Downey, Wu, and Yang, and can be understood as a randomized version of it.
| Action | Title | Year | Authors |
|---|