Uniform Bounds in D-Minimal Structures
classification
🧮 math.LO
keywords
mathbbeverydefinablediscreteeitherinteriormathcalsets
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.