Van Lambalgen's theorem and high degrees (Q540405)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Van Lambalgen's theorem and high degrees |
scientific article; zbMATH DE number 5903677
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
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
0 references
0 references
0.8557477
0 references
0.8533061
0 references
0.8500277
0 references