Embeddings of countable closed sets and reverse mathematics |
| |
Authors: | Jeffry L Hirst |
| |
Institution: | (1) Department of Mathematical Sciences, Appalachian State University, 28608 Boone, NC, USA |
| |
Abstract: | Summary 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 . |
| |
Keywords: | 03F35 54E50 |
本文献已被 SpringerLink 等数据库收录! |
|