Genericity and UD-random reals

Wesley Calvert, Johanna Franklin
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