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