The reverse mathematics of the Tietze extension theorem

DOI10.1090/PROC/13217OpenAlexW2281266769WikidataQ59891166 ScholiaQ59891166MaRDI QIDQ2827383

Paul Shafer

Publication date: 19 October 2016

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.05398

zbMATH Keywords

computability theoryreverse mathematicsTietze extension theorem

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)

Related Items (1)

Representations and the foundations of mathematics

Cites Work

• Open Questions in Reverse Mathematics
• Slicing the Truth
• Located sets and reverse mathematics
• ∏ 0 1 Classes and Degrees of Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

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