Rank and Randomness.

JOURNAL OF SYMBOLIC LOGIC(2019)

引用 0|浏览0
暂无评分
摘要
We show that for each computable ordinal it is possible to find in each Martin-Lof random degree a sequence R of Cantor-Bendixson rank alpha, while ensuring that the sequences that inductively witness R's rank are all Martin-Lof 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.
更多
查看译文
关键词
algorithmic randomness,Martin-Lof randomness,Cantor-Bendixson rank,computable measures
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要