Enclosing a Compact Set in an O-minimal Expansion of $(\mathbb{R},+,\cdot,0,1 <)$
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\}}$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.24627
curl -X POST /api/v1/records/arxiv/2607.24627/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.24627/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'