A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Genericity and UD-random reals
2015
Journal of Logic and Analysis
Avigad introduced the notion of UD-randomness based in Weyl's 1916 definition of uniform distribution modulo one. We prove that there exists a weakly 1-random real that is neither UD-random nor weakly 1-generic. We also show that no 2-generic real can Turing compute a UD-random real.
doi:10.4115/jla.2015.7.4
fatcat:h7gtmm73efe6foc5gedifdxx6a