English

A continuity principle equivalent to the monotone $\Pi^{0}_{1}$ fan theorem

Logic 2018-08-27 v1

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 Π10\Pi^{0}_{1} bars. We work in the context of constructive reverse mathematics.

Keywords

Cite

@article{arxiv.1808.08076,
  title  = {A continuity principle equivalent to the monotone $\Pi^{0}_{1}$ fan theorem},
  author = {Tatsuji Kawai},
  journal= {arXiv preprint arXiv:1808.08076},
  year   = {2018}
}

Comments

13 pages

R2 v1 2026-06-23T03:42:46.550Z