The reverse mathematics of the Tietze extension theorem

DOI10.1090/PROC/13217arXiv1602.05398WikidataQ59891166 ScholiaQ59891166MaRDI QIDQ6270566

Publication date: 17 February 2016

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: The reverse mathematics of the Tietze extension theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6270566)