实直线展开式中射影层次的解释
Interpreting the projective hierarchy in expansions of the real line
摘要：
给出了实数序集的展开式在半代数注入下定义实域由自然数集展开式的象的一个判据。特别地，我们证明了对于非二次无理数a，实数的有序Q（a）-向量空间由自然数的集合展开定义了实数上的乘法.
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
