On kurtz randomness

被引:15
|
作者
Downey, RG [1 ]
Griffiths, EJ [1 ]
Reid, S [1 ]
机构
[1] Victoria Univ Wellington, Sch Math & Comp Sci, Wellington, New Zealand
关键词
Kolmogorov complexity; lowness; randomness; Kurtz randomness;
D O I
10.1016/j.tcs.2004.03.055
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Kurtz randomness is a notion of algorithmic randomness for real numbers. In particular a real a is called Kurtz random (or weakly random) iff it is contained in every computably enumerable set U of (Lebesgue) measure 1. We prove a number of characterizations of this notion, relating it to other notions of randomness such as the well-known notions of computable randomness, Martin-Lof randomness and Schnorr randomness. For the first time we give machine characterizations of Kurtz randomness. Whereas the Turing degree of every Martin-Lof random c.e. real is the complete degree, and the degrees of Schnorr random c.e. reals are all high, we show that Kurtz random c.e. reals occur in every non-zero c.e. degree. Additionally, we show that the sets that are low for Kurtz randomness are all hyperimmune and include those that are low for Schnorr randomness, characterized previously by Terwijn and Zambella. (C) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码:249 / 270
页数:22
相关论文
共 50 条
  • [1] Uniform Kurtz randomness
    Kihara, Takayuki
    Miyabe, Kenshi
    JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (04) : 863 - 882
  • [2] Higher Kurtz randomness
    Kjos-Hanssen, Bjorn
    Nies, Andre
    Stephan, Frank
    Yu, Liang
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (10) : 1280 - 1290
  • [3] Characterization of Kurtz Randomness by a Differentiation Theorem
    Miyabe, Kenshi
    THEORY OF COMPUTING SYSTEMS, 2013, 52 (01) : 113 - 132
  • [4] Characterization of Kurtz Randomness by a Differentiation Theorem
    Kenshi Miyabe
    Theory of Computing Systems, 2013, 52 : 113 - 132
  • [5] Characterizing strong randomness via Martin-Lof randomness
    Yu, Liang
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (03) : 214 - 224
  • [6] Randomness? What Randomness?
    Klaas Landsman
    Foundations of Physics, 2020, 50 : 61 - 104
  • [7] Randomness? What Randomness?
    Landsman, Klaas
    FOUNDATIONS OF PHYSICS, 2020, 50 (02) : 61 - 104
  • [8] Randomness is hard
    Buhrman, H
    Torenvliet, L
    SIAM JOURNAL ON COMPUTING, 2000, 30 (05) : 1485 - 1501
  • [9] Relative Randomness and Cardinality
    Barmpalias, George
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (02) : 195 - 205
  • [10] Randomness, computability, and density
    Downey, R
    Hirschfeldt, DR
    Nies, A
    SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1169 - 1183