Intermediate intrinsic density and randomness
Justin Miller · Computability · 2021
Given any 1-random set X and any r in [Formula: see text], we construct a set of intrinsic density r which is computable from both r and 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.