Randomness and the linear degrees of computability

被引:12
|
作者
Lewis, Andrew E. M.
Barmpalias, George
机构
[1] Univ Siena, Dipartimento Sci Matemat & Informat Roberto Magar, I-53100 Siena, Italy
[2] Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England
基金
英国工程与自然科学研究理事会;
关键词
computability; randomness; degree;
D O I
10.1016/j.apal.2006.08.001
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We show that there exists a real a such that, for all reals beta, if alpha is linear reducible to beta (alpha <= l beta, previously denoted as alpha <=(sw) beta) then beta <=(T) alpha. In fact, every random real satisfies this quasi-maximality property. As a corollary we may conclude that there exists no e-complete Delta(2) real. Upon realizing that quasi-maximality does not characterize the random reals - there exist reals which are not random but which are of quasi-maximal e-degree - it is then natural to ask whether maximality could provide such a characterization. Such hopes, however, are in vain since no real is of maximal e-degree. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码:252 / 257
页数:6
相关论文
共 50 条
  • [1] Computability, Complexity and Randomness
    Rod Downey
    [J]. Theory of Computing Systems, 2013, 52 : 1 - 1
  • [2] Computability, Complexity and Randomness
    Downey, Rod
    [J]. THEORY OF COMPUTING SYSTEMS, 2013, 52 (01) : 1 - 1
  • [3] ON RANDOMNESS, DETERMINISM AND COMPUTABILITY
    WEGMAN, EJ
    [J]. JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1988, 20 (03) : 279 - 294
  • [4] Randomness, computability, and density
    Downey, R
    Hirschfeldt, DR
    Nies, A
    [J]. SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1169 - 1183
  • [5] Quantumness, Randomness and Computability
    Solis, Aldo
    Hirsch, Jorge G.
    [J]. INTERNATIONAL CONFERENCE ON QUANTUM CONTROL, EXACT OR PERTURBATIVE, LINEAR OR NONLINEAR TO CELEBRATE 50 YEARS OF THE SCIENTIFIC CAREER OF PROFESSOR BOGDAN MIELNIK (MIELNIK50), 2015, 624
  • [6] Interactions of Computability and Randomness
    Nies, Andre
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS, VOL II: INVITED LECTURES, 2010, : 30 - 57
  • [7] Layerwise Computability and Image Randomness
    Bienvenu, Laurent
    Hoyrup, Mathieu
    Shen, Alexander
    [J]. THEORY OF COMPUTING SYSTEMS, 2017, 61 (04) : 1353 - 1375
  • [8] Layerwise Computability and Image Randomness
    Laurent Bienvenu
    Mathieu Hoyrup
    Alexander Shen
    [J]. Theory of Computing Systems, 2017, 61 : 1353 - 1375
  • [9] Randomness, computability, and algebraic specifications
    Khoussainov, B
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 1 - 15
  • [10] Randomness extraction in computability theory
    Cenzer, Douglas
    Porter, Christopher P.
    [J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2023, 12 (01): : 1 - 21