Van Lambalgen's theorem and high degrees (Q540405)

From MaRDI portal
Revision as of 00:35, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)





scientific article
Language Label Description Also known as
English
Van Lambalgen's theorem and high degrees
scientific article

    Statements

    Van Lambalgen's theorem and high degrees (English)
    0 references
    0 references
    0 references
    3 June 2011
    0 references
    In the paper under review, the authors investigate when and where van Lambalgen's theorem fails respectively holds. They prove that: {\parindent5.5mm \begin{itemize}\item[1)] Each high degree contains a recursively random real so that van Lambalgen's theorem fails; \item[2)] Each hyperimmune degree contains a Kurtz random real so that van Lambalgen's theorem fails; \item[3)] There is a recursively random real that is not Martin-Löf random and satisfies van Lambalgen's theorem for recursive, Schnorr and Kurtz randomness. \end{itemize}}
    0 references
    0 references
    van Lambalgen's theorem
    0 references
    Schnorr randomness
    0 references
    recursive randomness
    0 references
    Kurtz randomness
    0 references

    Identifiers