Genericity and UD-random reals

Wesley Calvert, Johanna N.Y. Franklin

Abstract


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.

Full Text:

4. [PDF]


DOI: https://doi.org/10.4115/jla.2015.7.4

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008