Schnorr randomness for noncomputable measures

From MaRDI portal




Abstract: This paper explores a novel definition of Schnorr randomness for noncomputable measures. We say x is uniformly Schnorr mu-random if t(mu,x)<infty for all lower semicomputable functions t(mu,x) such that mumapstointt(mu,x),dmu(x) is computable. We prove a number of theorems demonstrating that this is the correct definition which enjoys many of the same properties as Martin-L"of randomness for noncomputable measures. Nonetheless, a number of our proofs significantly differ from the Martin-L"of case, requiring new ideas from computable analysis.



Cites work







This page was built for publication: Schnorr randomness for noncomputable measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1686119)