Reverse mathematics and homeomorphic embeddings
From MaRDI portal
Publication:1182482
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
reverse mathematicswell-orderingssubsystems of second-order arithmeticATR\(_ 0\)closed subsets of the real numbersencoding of metric spaces and homeomorphismshomeomorphic embeddingstopological comparability
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