Interpreting the projective hierarchy in expansions of the real line
classification
🧮 math.LO
keywords
numbersrealexpansiondefinesnaturalorderedcriterionexpansions
read the original abstract
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 injection. In particular, we show that for a non-quadratic irrational number a, the expansion of the ordered Q(a)-vector space of real numbers by the set of natural numbers defines multiplication on the real numbers.
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.