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 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