1. Computable Analysis;Aberth,1980
2. The logical strength of the uniform continuity theorem;Berger,2006
3. A fan-theoretic equivalent of the antithesis of Specker’s theorem;Berger;Proc. Koninklijke Nederlandse Akad. Weten. (Indag. Math., NS),2007
4. The fan theorem and positive-valued uniformly continuous functions on compact intervals;Berger;New Zealand J. Math.,2008
5. Foundations of Constructive Analysis;Bishop,1967