Reverse mathematics and homeomorphic embeddings

DOI10.1016/0168-0072(91)90048-QzbMath0746.03048OpenAlexW2045897154WikidataQ127498902 ScholiaQ127498902MaRDI QIDQ1182482

Jeffry L. Hirst, Harvey M. Friedman

Publication date: 28 June 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(91)90048-q

zbMATH Keywords

reverse mathematicswell-orderingssubsystems of second-order arithmeticATR\(_ 0\)closed subsets of the real numbersencoding of metric spaces and homeomorphismshomeomorphic embeddingstopological comparability

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Ranked structures and arithmetic transfinite recursion ⋮ Embeddings of countable closed sets and reverse mathematics

Cites Work

• Weak comparability of well orderings and reverse mathematics
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reverse mathematics and homeomorphic embeddings