An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals

タイトル
An extension of van Lambalgen’s Theorem to infinitely many relative 1-random reals

種類
論文

ジャーナル
Notre Dame Journal of Formal Logic, 51(3):337-349, 2010.
リンク
Received November 30, 2009; accepted December 8, 2009; printed June 16, 2010
京都大学学術情報リポジトリ(KURENAI)にも登録されています。

ダウンロード
プレプリント
日本語要約

参照元
@article{bienvenu2010ergodic,
title={{Ergodic-type characterizations of algorithmic randomness}},
author={Bienvenu, L. and Day, A. and Mezhirov, I. and Shen, A.},
journal={Programs, Proofs, Processes},
pages={49–58},
year={2010},
publisher={Springer}
}
@article{bienvenu2011constructive,
title={A constructive version of Birkhoffʼs ergodic theorem for Martin–L{\”o}f random points},
author={Bienvenu, L. and Day, A. and Hoyrup, M. and Mezhirov, I. and Shen, A.},
journal={Information and Computation},
year={2011},
publisher={Elsevier}
}
@article{yu2011characterizing,
title={Characterizing strong randomness via Martin-L{\”o}f randomness},
author={Yu, L.},
journal={Annals of Pure and Applied Logic},
year={2011},
publisher={Elsevier}
}