{"id":"arxiv/2607.24627","url":"https://arxiv.org/abs/2607.24627","tags":["math.LO"],"score":0,"title":"Enclosing a Compact Set in an O-minimal Expansion of $(\\mathbb{R},+,\\cdot,0,1 <)$","domain":"math.LO","source":"arxiv","authors":["Yayi Fu"],"reviews":0,"subject":"math.LO","summary":"Fix an o-minimal expansion $\\mathcal{R}=(\\mathbb{R},+,\\cdot,0,1 <,...)$ of the real ordered field. Given $C^1$ functions $f_1,...,f_k$, $g_1,...,g_k:M\\to\\mathbb{R}$ on a definable cell $M$, let $h_{i,0}$ denote $f_i$ and $h_{i,1}$ denote $g_i$. Suppose that for all $τ\\in 2^{[k]}$, $H_τ=(h_{1,τ(1)},..,h_{k,τ(k)}) :M\\to \\mathbb{R}^k$ is regular and proper on $M$, and that for all $i\\in[k]$, $\\{f_i=0\\}$ and $ \\{g_i=0\\}$ are connected, and $\\{f_i=0\\}\\cap \\{g_i=0\\}=\\emptyset$. We show that then there exists a sequence $(\\square_{i,ε}:i\\in[k],ε\\in \\{0,1\\})\\in\\{\\leq ,\\geq \\}^{[k]\\times\\{0,1\\}}$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}