1. [40] Pauly, A. and de Brecht, M. , Towards synthetic descriptive set theory: An instantiation with represented spaces. Preprint, 2013. http://arxiv.org/abs/1307.1850.
2. [37] Pauly, A. , Computable metamathematics and its application to game theory , Ph.D. thesis, University of Cambridge, 2012.
3. On the (semi)lattices induced by continuous reducibilities;Pauly;Mathematical Logic Quarterly,2010
4. ${\varPi}_1^0$
classes and degrees of theories;Jockusch;Transactions of the American Mathematical Society,1972