TY - RPRT TI - Some More Rigid Real Closed Fields AU - Michael Lange PY - 2026 UR - https://arxiv.org/abs/2608.16766 ID - 2608.16766 ER -