The Random Members of a Π10${\Pi }_{1}^{0}$ Class
Sign Up to like & getrecommendations! Published in 2017 at "Theory of Computing Systems"
DOI: 10.1007/s00224-017-9824-3
Abstract: We examine several notions of randomness for elements in a given Π10${\Pi }_{1}^{0}$ class P$\mathcal {P}$. Such an effectively closed subset P$\mathcal {P}$ of 2ωmay be viewed as the set of infinite paths through the… read more here.
Keywords: class; measure; members class; random members ... See more keywords