A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals

DOI10.1090/S0002-9939-05-07901-3zbMath1085.03032MaRDI QIDQ5695769

Joseph S. Miller, Rodney G. Downey

Publication date: 6 October 2005

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

random real\(\Pi_1^0\) class

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Other Turing degree structures (03D28)

Related Items

Optimal redundancy in computations from random oracles ⋮ Jump inversions inside effectively closed sets and applications to randomness ⋮ Calibrating Randomness ⋮ Integer valued betting strategies and Turing degrees

Cites Work

• On degrees of unsolvability
• Algorithmic Randomness and Complexity
• A criterion for completeness of degrees of unsolvability
• A minimal degree less than 0’
• Calibrating Randomness
• On initial segment complexity and degrees of randomness
• Every sequence is reducible to a random one
• The definition of random sequences
• ∏ 0 1 Classes and Degrees of Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item