An extension of van Lambalgen's theorem to infinitely many relative 1-random reals
From MaRDI portal
Publication:989415
DOI10.1215/00294527-2010-020zbMath1208.03045OpenAlexW2029884652MaRDI QIDQ989415
Publication date: 20 August 2010
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2010-020
Recursively (computably) enumerable sets and degrees (03D25) Algorithmic randomness and dimension (03D32)
Related Items (3)
Characterizing strong randomness via Martin-Löf randomness ⋮ A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points ⋮ Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability
This page was built for publication: An extension of van Lambalgen's theorem to infinitely many relative 1-random reals