##article.return## Bishop's (up)crossing inequality and lower semicomputable random reals revisited Download Download PDF