Defining the set of integers in expansions of the real field by a closed discrete set
classification
🧮 math.LO
keywords
mathbbintegerscloseddefinesdiscretefieldrealapplication
read the original abstract
Let D\subseteq \mathbb{R} be closed and discrete and f:D^n \to \mathbb{R} be such that f(D^n) is somewhere dense. We show that (\mathbb{R},+,\cdot,f) defines the set of integers. As an application, we get that for every a,b \in \mathbb{R} with \log_{a}(b)\notin \mathbb{Q}, the real field expanded by the two cyclic multiplicative subgroups generated by a and b defines the set of integers.
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.