pith. sign in

arxiv: 0906.4972 · v2 · submitted 2009-06-26 · 🧮 math.LO

Defining the set of integers in expansions of the real field by a closed discrete set

classification 🧮 math.LO
keywords mathbbintegerscloseddefinesdiscretefieldrealapplication
0
0 comments X
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.