The reverse mathematics of the Tietze extension theorem
Logic
2016-02-18 v1
Abstract
We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in Montalb\'an's "Open questions in reverse mathematics."
Cite
@article{arxiv.1602.05398,
title = {The reverse mathematics of the Tietze extension theorem},
author = {Paul Shafer},
journal= {arXiv preprint arXiv:1602.05398},
year = {2016}
}