TY - RPRT TI - The spectrum of the real line AU - Jan-Paul Lerch PY - 2022 UR - https://arxiv.org/abs/2209.01101 ID - 2209.01101 ER -