Separations of non-monotonic randomness notions

Laurent Bienvenu, Rupert Hoelzl, Thorsten Kraling +1

In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mart…