Harvey Friedman, Jeffry L. Hirst. Reverse Mathematics and Homeomorphic Embeddings. Annals of Pure and Applied Logic, 54(3):229-253, 1991.
@article{FriedmanH91, title = {Reverse Mathematics and Homeomorphic Embeddings}, author = {Harvey Friedman and Jeffry L. Hirst}, year = {1991}, researchr = {https://researchr.org/publication/FriedmanH91}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {54}, number = {3}, pages = {229-253}, }