1. Algorithmic randomness, reverse mathematics, and the dominated convergence theorem;Avigad;Ann. Pure Appl. Log.,2012
2. Algorithmically random closed sets and probability;Axon,2010
3. Martin-Löf randomness in spaces of closed sets;Axon;J. Symb. Log.,2015
4. Compactness and Measure in Second Order Arithmetic;Barmpalias,2019
5. Algorithmic randomness of closed sets;Barmpalias;J. Log. Comput.,2007