1. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: 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), pp. 192–301 (2004)
2. Berardi, S., Steila, S.: Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic. In: Matthes, R., Schubert, A. (eds.) 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol. 26, pp. 64–83. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2014)
3. Diener, H.: Constructive Reverse Mathematics. Habilitationsschrift (2018)
4. Fujiwara, M., Ishihara, H., Nemoto, T.: Some principles weaker than Markov’s principle. Arch. Math. Logic 54(7–8), 861–870 (2015)
5. Fujiwara, M., Ishihara, H., Nemoto, T., Suzuki, N.-Y., Yokoyama, K.: Extended frames and separations of logical principles. https://researchmap.jp/makotofujiwara/misc/30348506 (2021) (submitted)