Switch to: References

Add citations

You must login to add citations.
  1. Embeddings of countable closed sets and reverse mathematics.Jeffry L. Hirst - 1993 - Archive for Mathematical Logic 32 (6):443-449.
    If there is a homeomorphic embedding of one set into another, the sets are said to be topologically comparable. Friedman and Hirst have shown that the topological comparability of countable closed subsets of the reals is equivalent to the subsystem of second order arithmetic denoted byATR 0. Here, this result is extended to countable closed locally compact subsets of arbitrary complete separable metric spaces. The extension uses an analogue of the one point compactification of ℝ.
    Download  
     
    Export citation  
     
    Bookmark   1 citation