Mathematics – Logic
Scientific paper
2012-03-28
Mathematics
Logic
Scientific paper
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.
Hieronymi Philipp
Tychonievich Michael
No associations
LandOfFree
Interpreting the projective hierarchy in expansions of the real line does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Interpreting the projective hierarchy in expansions of the real line, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interpreting the projective hierarchy in expansions of the real line will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-273165