Tietze扩张定理的逆数学
逻辑
2016-02-18 v1
摘要
我们证明，对于具有一致连续模的函数，Tietze扩张定理的几个版本在 RCA_0 上等价于 WKL_0。这证实了 Giusto 和 Simpson 的猜想，该猜想也在 Montalbán 的“逆数学开放问题”中被表述为一个问题。
关键词
引用
@article{arxiv.1602.05398,
title = {The reverse mathematics of the Tietze extension theorem},
author = {Paul Shafer},
journal= {arXiv preprint arXiv:1602.05398},
year = {2016}
}