Andrej Muchnik Alexey V. Chernov Alexander Shen Algorithmic randomness and splitting of supermartingales http://arxiv.org/abs/0807.3156 2008 CoRR abs/0807.3156 db/journals/corr/corr0807.html#abs-0807-3156 informal publication