Van Lambalgen's theorem and high degrees (Q540405)

From MaRDI portal
Revision as of 10:04, 1 July 2023 by Importer (talk | contribs) (‎Changed an Item)





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