1. Akama, Yohji, Stefano Berardi, Susumu Hayashi, and Ulrich Kohlenbach. 2004. An arithmetical hierarchy of the law of excluded middle and related principles. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04), 192–201.
2. Berger, Josef. 2006. The logical strength of the uniform continuity theorem. In Logical Approaches to Computational Barriers, CiE 2006, ed. Arnold Beckmann, Ulrich Berger, Benedikt Löwe, and John V. Tucker, 35–39, Lecture Notes in Computer Science Berlin: Springer.
3. Fujiwara, Makoto. 2015. Intuitionistic and uniform provability in reverse mathematics. PhD thesis, Tohoku University.
4. Fujiwara, Makoto. 2019. Bar induction and restricted classical logic. In Logic, Language, Information, and Computation, WoLLIC 2019, ed. Rosalie Iemhoff, Michael Moortgat, and Ruy de Queiroz, 236–247. Berlin, Heidelberg: Springer.
5. Howard, William A., and Georg Kreisel. 1966. Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. Journal of Symbolic Logic 31 (3): 325–358.