Delphi.science

Uniform Bounds in D-Minimal Structures

Madie Farris, Philipp Hieronymi

arXivarxiv/2606.02316Jun 1, 2026math.LOscore 0

Let $\mathcal{R}$ be an expansion of the real field such that every subset of $\mathbb{R}$ definable in $\mathcal{R}$ either has interior or is a finite union of discrete sets. Answering a question by Chris Miller, we show that for every $n\in \mathbb{N}$ and every definable subset $A\subseteq \mathbb{R}^{n+1}$ there is $N\in \mathbb{N}$ such that for all $x\in \mathbb{R}^n$ either $A_x$ has interior or is the union of $N$ discrete sets.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2606.02316
curl -X POST /api/v1/records/arxiv/2606.02316/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.02316/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'