An extension of van Lambalgen's theorem to infinitely many relative 1-random reals

DOI10.1215/00294527-2010-020zbMath1208.03045OpenAlexW2029884652MaRDI QIDQ989415

Kenshi Miyabe

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

zbMATH Keywords

martingalehighnessalgorithmic randomnessvan Lambalgen's theoremrelative randomnessOmega operator

Mathematics Subject Classification ID

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