language-icon Old Web
English
Sign In

Genericity and UD-random reals

2015 
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.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    11
    References
    3
    Citations
    NaN
    KQI
    []