pith. sign in

arxiv: 1610.08615 · v2 · pith:TQL5P4FGnew · submitted 2016-10-27 · 🧮 math.LO

Effective bi-immunity and randomness

classification 🧮 math.LO
keywords effectivebi-immunityrandomnessbi-immunecomputeeffectivelyrandomrelative
0
0 comments X
read the original abstract

We study the relationship between randomness and effective bi-immunity. Greenberg and Miller have shown that for any oracle X, there are arbitrarily slow-growing DNR functions relative to X that compute no ML random set. We show that the same holds when ML randomness is replaced with effective bi-immunity. It follows that there are sequences of effective Hausdorff dimension 1 that compute no effectively bi-immune set. We also establish an important difference between the two properties. The class Low(MLR, EBI) of oracles relative to which every ML random is effectively bi-immune contains the jump-traceable sets, and is therefore of cardinality continuum.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.