Elsevier

Advances in Mathematics

Volume 197, Issue 1, 20 October 2005, Pages 274-305
Advances in Mathematics

Lowness properties and randomness

https://doi.org/10.1016/j.aim.2004.10.006Get rights and content
Under an Elsevier user license
open archive

Abstract

The set A is low for (Martin-Löf) randomness if each random set is already random relative to A. A is K-trivial if the prefix complexity K of each initial segment of A is minimal, namely nK(An)K(n)+O(1). We show that these classes coincide. This answers a question of Ambos-Spies and Kučera in: P. Cholak, S. Lempp, M. Lerman, R. Shore, (Eds.), Computability Theory and Its Applications: Current Trends and Open Problems, American Mathematical Society, Providence, RI, 2000: each low for Martin-Löf random set is Δ20. Our class induces a natural intermediate Σ30 ideal in the r.e. Turing degrees, which generates the whole class under downward closure.

Answering a further question in P. Cholak, S. Lempp, M. Lerman, R. Shore, (Eds.), Computability Theory and Its Applications: Current Trends and Open Problems, American Mathematical Society, Providence, RI, 2000, we prove that each low for computably random set is computable.

MSC

68Q30
03D28

Keywords

Kolmogorov prefix complexity
Randomness
K-trivial
Low for random

Cited by (0)

1

Partially supported by Marsden fund of New Zealand, Grant no 03-UOA-130.