The reverse mathematics of the Tietze extension theorem
classification
🧮 math.LO
keywords
extensionmathematicsreversetheoremtietzeconfirmsconjecturecontinuity
read the original 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."
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.