高阶 Kurtz 随机性

Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Liang Yu

doi:10.1016/j.apal.2010.04.001

高阶 Kurtz 随机性

逻辑 2014-08-14 v1

作者: Bjørn Kjos-Hanssen , André Nies , Frank Stephan , Liang Yu

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

若实数 $x$ 不属于任何闭的零测 $\Delta^1_1$ 集（ $\Pi^1_1$ 集），则称其为 $\Delta^1_1$ -Kurtz 随机（ $\Pi^1_1$ -Kurtz 随机）。我们证明了存在一个由 $\Pi^1_1$ -Kurtz 随机超度构成的锥。我们将 $\Delta^1_1$ -Kurtz 随机性的低性刻画为 $\Delta^1_1$ -受控且 $\Delta^1_1$ -半可追踪。

关键词

Kurtz 随机性超度低性 Delta^1_1 集 Pi^1_1 集可计算性理论

引用

@article{arxiv.1408.2896,
  title  = {Higher Kurtz randomness},
  author = {Bjørn Kjos-Hanssen and André Nies and Frank Stephan and Liang Yu},
  journal= {arXiv preprint arXiv:1408.2896},
  year   = {2014}
}

高阶 Kurtz 随机性

摘要

关键词

引用

相关论文