Dini's theorem in the light of reverse mathematics

2009

Josef Berger, Peter Schuster

in: Logicism, intuitionism, and formalism, Berlin,