TY - RPRT TI - Enclosing a Compact Set in an O-minimal Expansion of $(\mathbb{R},+,\cdot,0,1 <)$ AU - Yayi Fu PY - 2026 UR - https://arxiv.org/abs/2607.24627 ID - 2607.24627 ER -