1. On the relationship between ATR0 and IDˆ<ω;Avigad;J. Symb. Log.,1996
2. ATR0 and some related theories;Bärtschi,2021
3. Effective choice and boundedness principles in computable analysis;Brattka;Bull. Symb. Log.,2011
4. Weihrauch complexity in computable analysis;Brattka,2021
5. Infinite computations in algorithmic randomness and reverse mathematics;d'Auriac,2019