### Genericity and UD-random reals

#### 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

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

Journal of Logic and Analysis ISSN: 1759-9008