Expansions of subfields of the real field by a discrete set

Philipp Hieronymi

Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We pr…