Rank and Randomness
@article{Hlzl2019RankAR, title={Rank and Randomness}, author={R. H{\"o}lzl and Christopher P. Porter}, journal={J. Symb. Log.}, year={2019}, volume={84}, pages={1527-1543} }
We show that for each computable ordinal $\alpha>0$ it is possible to find in each Martin-L\"of random $\Delta^0_2$ degree a sequence $R$ of Cantor-Bendixson rank $\alpha$, while ensuring that the sequences that inductively witness $R$'s rank are all Martin-L\"of 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.
Topics from this paper
References
SHOWING 1-10 OF 15 REFERENCES
The members of thin and minimal classes, their ranks and Turing degrees
- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2015
- 2
- Highly Influential
- PDF
Randomness for computable measures and initial segment complexity
- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2017
- 2
- PDF
Π 1 classes in computability theory, Handbook of Computability Theory, Studies
- Logic and the Foundations of Mathematics,
- 1999
On the Cantor-Bendixon Rank of Recursively Enumerable Sets
- Mathematics, Computer Science
- J. Symb. Log.
- 1993
- 9
- Highly Influential