with Schuster, P. , 2009, Dini's theorem in the light of reverse mathematics, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 153-166.