In the informal setting of Bishop-style constructive reverse mathematics we discuss the connection between the antithesis of Specker’s theorem, Ishihara’s principle BD-N, and various types of equicontinuity. In particular, we prove that the implication from pointwise equicontinuity to uniform sequential equicontinuity is equivalent to the antithesis of Specker’s theorem; and that, for a family of functions on a separable metric space, the implication from uniform sequential equicontinuity to uniform equicontinuity is equivalent to BD-N.

This paper provides a Bishop-style constructive analysis of the contrapositive of the statement that a continuous homomorphism of R onto a compact abelian group is periodic. It is shown that, subject to a weak locatedness hypothesis, if G is a complete (metric) abelian group that is the range of a continuous isomorphism from R, then G is noncompact. A special case occurs when G satisfies a certain local path-connectedness condition at 0. A number of results about one-one and injective mappings (...) are proved en route to the main theorem. A Brouwerian example shows that some of our results are the best possible in a constructive framework. (shrink)