Van Lambalgen's theorem and high degrees (Q540405)
From MaRDI portal
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
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
van Lambalgen's theorem
0 references
Schnorr randomness
0 references
recursive randomness
0 references
Kurtz randomness
0 references