2000 character limit reached
A continuity principle equivalent to the monotone $Π^{0}_{1}$ fan theorem
Published 24 Aug 2018 in math.LO | (1808.08076v1)
Abstract: The strong continuity principle reads "every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image." We show that this principle is equivalent to the fan theorem for monotone $\Pi{0}_{1}$ bars. We work in the context of constructive reverse mathematics.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.