# Randomness, relativization and Turing degrees

@article{Nies2005RandomnessRA,
title={Randomness, relativization and Turing degrees},
author={Andr{\'e} Nies and Frank Stephan and Sebastiaan A. Terwijn},
journal={Journal of Symbolic Logic},
year={2005},
volume={70},
pages={515 - 535}
}
• Published 1 June 2005
• Mathematics, Computer Science
• Journal of Symbolic Logic
Abstract We compare various notions of algorithmic randomness. First we consider relativized randomness. A set is n-random if it is Martin-Löf random relative to ∅(n − 1). We show that a set is 2-random if and only if there is a constant c such that infinitely many initial segments x of the set are c-incompressible: C(x) ≥ ∣x∣ − c. The ‘only if’ direction was obtained independently by Joseph Miller. This characterization can be extended to the case of time-bounded C-complexity. Next we prove…
154 Citations
• Mathematics, Computer Science
Comput.
• 2018
It is shown that a real is X Martin-Loef random if and only if its initial segments corresponding to a pointedly X-computable sequence (r_n) of lengths are incompressible.
• Mathematics, Computer Science
• 2016
It is shown that a Martin-Lof random set for which the effective version of the Lebesgue density theorem fails computes every K-trivial set, and any witness for the solution of the covering problem, namely an incomplete random set which computes all K-Trivial sets must be very close to being Turing complete.
• Mathematics
J. Math. Log.
• 2005
A comparison is drawn between the jump operator from computability theory and this Omega operator, which is a natural uniform way of producing an A-random real for every A ∈ 2ω, and many other interesting properties of Omega operators.
• Mathematics
• 2011
A set A is a base for Schnorr randomness if it is Turing reducible to a set R that is Schnorr random relative to A, and the notion of a base for weak 1‐genericity can be defined similarly. We show
• Mathematics, Computer Science
New notions of randomness based on the difference hierarchy are defined and the difference random reals are characterized as the Turing incomplete Martin-Löfrandom reals, and a martingale characterization for difference randomness is provided.
• Mathematics
The Journal of Symbolic Logic
• 2014
This method is used to produce an alternate characterization of weak Demuth randomness in terms of tests in which the kth component is a Boolean combination of g(k) r.e. open sets and obtain as a corollary that lowness for balanced randomness is equivalent to being recursive.
• Computer Science, Mathematics
The Journal of Symbolic Logic
• 2019
It is proved that for every comeager ${\cal G} \subseteq {2^\omega }$, there is some weakly 2-random sequence X that computes some $Y \in {\cal G]$, a result that allows us to provide a fairly complete classification as to how various notions of effective randomness interact in the Turing degrees with various notion of effective genericity.
This thesis examines some problems related to Chaitin’s Ω number, and shows that Ω can be written as an infinite product over halting programs and has the form of a zeta function whose zeros encode halting information.
• Mathematics
TOCL
• 2012
There exists an equivalence between arithmetic complexity and existence of numberings for classes of left-r.e. sets, and there exist characterizations of the third and fourth levels of the arithmetic hierarchy purely in terms of these notions.
Bounded tests are introduced that are used to give a characterization of computable randomness in terms of tests, and it can be shown that only the computable sequences are low for bounded machines, and every boundedly trivial sequence is K-trivial.

## References

SHOWING 1-10 OF 62 REFERENCES

• Mathematics, Computer Science
MFCS
• 2002
The mentioned results on self- and autoreducibility complement work of Ebert, Merkle, and Vollmer, from which it follows that no Martin-Lof random set is Turing-autoreducible and that no rec-random set is truth-table autoreachable.
It is proved that 2-random reals are Kolmogorov random, which provides a natural characterization of 2- randomness in terms of plain complexity.
• Mathematics
Journal of Symbolic Logic
• 1989
In this paper the main concern is to study the degrees of functions with no fixed points, and considers both fixed points in the strict sense above and fixed points modulo various equivalence relations on recursively enumerable sets.
• Mathematics
Journal of Symbolic Logic
• 2001
It is proved that there are uncountably many sets that are low for the class of Schnorr random reals and it is shown that they all have Turing degree incomparable to 0′.
TABLE OF CONTENTS Introduction Chapter I. The relation of the structure of an r.e. set to its degree. 1. Post's program and simple sets. 2. Dominating functions and quotient lattices. 3. Maximal sets