RANK and RANDOMNESS
We show that for each computable ordinal α > 0 it is possible to find in each Martin-Löf random Δ02 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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Cambridge University Press
2019
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |