Van Lambalgen's theorem and high degrees (Q540405)

From MaRDI portal





scientific article; zbMATH DE number 5903677
Language Label Description Also known as
default for all languages
No label defined
    English
    Van Lambalgen's theorem and high degrees
    scientific article; zbMATH DE number 5903677

      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