Intermediate Intrinsic Density and Randomness
Abstract
Given any 1-random set X and any r∈(0,1), we construct a set of intrinsic density r which is computable from r X. For almost all r, this set will be the first known example of an intrinsic density r set which cannot compute any r-Bernoulli random set. To achieve this, we shall formalize the into and within noncomputable coding methods which work well with intrinsic density.
0