TY  - RPRT
TI  - Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
AU  - Matthew Harrison-Trainor
AU  - Eissa Haydar
PY  - 2025
UR  - https://arxiv.org/abs/2407.20215
ID  - 2407.20215
ER  -