カテゴリー: Publication

投稿日:

Truth-table Schnorr randomness and truth-table reducible randomness

履歴
2011年5月19日巻やページ数などを記入
2011年3月7日オンラインでダウンロードできるようになりました。
2010年5月18日Mathematical Logic Quarterlyにアクセプトされました。

タイトル
Truth-table Schnorr randomness and truth-table reducibly randomness

種類
論文

ジャーナル
Mathematical Logic Quarterly 57(3):323-338, 2011
DOI 10.1002/malq.200910128
Journal Page

添付ファイル
プレプリント
日本語概要

参照元
@article{franklin2009van,
title={{van Lambalgen’s Theorem and high degrees}},
author={Franklin, J.N.Y. and Stephan, F.},
year={2009},
publisher={Submitted}
}
@misc{bienvenucharacterizing,
title={Characterizing lowness for Demuth randomness},
author={Bienvenu, L. and Downey, R. and Greenberg, N. and Nies, A. and Turetsky, D.},
publisher={Submitted}
}

投稿日:

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}
}