Expansions of o-minimal structures by sparse sets
The authors investigate o-minimal expansions \({\mathcal R}\) of \((\mathbb{R},<,+)\). They show the following: Let \({\mathcal R}\) be such an expansion, \(E\subseteq \mathbb{R}\) with the property that \(F(E^m)\) has no interior for each function \(f: \mathbb{R}^n\to \mathbb{R}\) which is definable in \({\mathcal R}\). Further on assume that every subset of \(\mathbb{R}\) definable in \(({\mathcal R},E)\) has interior or is nowhere dense. Then every subset of \(\mathbb{R}\) definable in \(({\mathcal R},(S))\) has interior or is nowhere dense where \(S\) ranges over all subsets of \(E^k\) \((k\geq 1)\). In order to prove this result the authors use the cell decomposition theorem of van den Dries and generalize the concept of cells to weak cells. They give an example of an expansion of the real field that defines an isomorphic copy of the ordered ring of integers but does not define \(\mathbb{Z}\).
- Wild theories with o-minimal open core
- How to avoid a compact set
- A tetrachotomy for expansions of the real ordered additive group
- Almost o-minimal structures and \(\mathfrak{X}\)-structures
- Coarse dimension and definable sets in expansions of the ordered real vector space
- Structure theorems in tame expansions of o-minimal structures by a dense set
- Coverings by open cells
- Expansions of o-minimal structures by iteration sequences
- Expansions of o-minimal structures by dense independent sets
- Expansions of the real field by open sets: definability versus interpretability
- Interpreting the projective hierarchy in expansions of the real line
- Defining the set of integers in expansions of the real field by a closed discrete set
- Dimensional coincidence does not imply measure-theoretic tameness
- Michael's selection theorem in d-minimal expansions of the real field
- D-minimal expansions of the real field have the zero set property
- A dichotomy for expansions of the real field
- Definability in o-minimal expansions of the real numbers
- Connectedness in structures on the real numbers: o-minimality and undecidability
- Metric dimensions and tameness in expansions of the real field
- Diophantine properties of sets definable in o-minimal structures
- Expansions which introduce no new open sets
- Elimination of imaginaries in expansions of o-minimal structures by generic sets
- Expansions of o-minimal structures by fast sequences
- Fractals and the monadic second order theory of one successor
- Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
- An o-minimal structure without mild parameterization
- Undefinability of multiplication in Presburger arithmetic with sets of powers
- The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
This page was built for publication: Expansions of o-minimal structures by sparse sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2717641)
