A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272)

The author's strong continuity principle (SC) says that every pointwise continuous function from a complete separable metric space to a metric space is strongly continuous in the sense of [\textit{D.S.~Bridges}, Constructive functional analysis. London etc.: Pitman (1979; Zbl 0401.03027)]: that is, uniformly continuous near every compact image. Working in Bishop-style constructive reverse mathematics, the author shows that SC is tantamount to the fan theorem for monotone \(\Pi^0_1\) bars, and that the latter is equivalent to a variant of the fan theorem, called sc-FAN, related to but stronger than the principle c-FAN from [\textit{J. Berger}, Lect. Notes Comput. Sci. 3988, 35--39 (2006; Zbl 1145.03339)].