2 papers
math.LO2026
Bishop's (up)crossing inequality and lower semicomputable random reals revisited
Mikhail Andreev, Alexander Shen
In this paper we provide an easy proof of Barmpalias--Lewis-Pye result saying that all computable increasing sequences converging to random reals converge with the same speed (up t…
math.CO2025
Local obstructions in sequences revisited
Matthieu Rosenfeld, Alexander Shen
In this article, we consider some simple combinatorial game and a winning strategy in this game. This game is then used to prove several known results about non-repetitive sequence…