加载中…
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 bars. We work in the context of constructive reverse mathematics.

生成讲解博客的中文版本

生成AI智能校验的中文版本