Constructive notions of equicontinuity (Q2391094)

This paper discusses the relation between various kinds of continuity (mainly pointwise continuity, (uniform) equicontinuity and (uniform) sequential equicontinuity) within the programme of informal Constructive Reverse Mathematics. In the first part it is shown how the statement that every pointwise equicontinuous sequence is uniformly sequentially equicontinuous relates to the anti-Specker property. In the second part it is shown that the statement that every uniformly sequentially equicontinuous sequence is uniformly equicontinuous is equivalent to Ishihara's principle BD-N over Bishop's constructive mathematics. The author also relates the results to the Ascoli-Arzela theorem. It should be noted that \textit{H. Diener} and \textit{I. Loeb} [Ann. Pure Appl. Logic 157, No. 1, 50--61 (2009; Zbl 1156.03056)] also study (uniform) equicontinuity within the programme of Constructive Reverse Mathematics. Also the Ascoli-Arzela theorem is discussed in this paper, albeit in a different way.