The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy
We construct the Extended Real Line with Reentry (ERI): identify $\{-\infty, 0, +\infty\}$ to a single point $\ast$ in $\overline{\mathbb{R}}$, and require every neighborhood of $\ast$ to have dense preimage. The resulting space is compact, path-connected, and sober; it is $T_1$ and US (uniquely sequential), but not weakly Hausdorff, not KC, and not Hausdorff. In the refined hierarchy of Clontz, ERI sits at the $k_2$-Hausdorff level. A search of pi-Base for compact US-not-KC spaces returns three entries -- $\mathbb{Q}^{\ast} \times \mathbb{Q}^{\ast}$, $ω_1+1$ with doubled endpoint (S37), and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.03228
curl -X POST /api/v1/records/arxiv/2603.03228/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.03228/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'