pith. sign in

arxiv: 2606.02316 · v1 · pith:FHJEUSJ4new · submitted 2026-06-01 · 🧮 math.LO

Uniform Bounds in D-Minimal Structures

classification 🧮 math.LO
keywords mathbbeverydefinablediscreteeitherinteriormathcalsets
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.