Interpreting the projective hierarchy in expansions of the real line

Philipp Hieronymi, Michael Tychonievich

We give a criterion when an expansion of the ordered set of real numbers defines the image of the expansion of the real field by the set of natural numbers under a semialgebraic in…