Interpreting the projective hierarchy in expansions of the real line
Interpreting the projective hierarchy in expansions of the real line
复制标题
解释实线扩展中的射影层次
DOI：
10.1090/s0002-9939-2014-12023-5
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Michael A. Tychonievich
中科院分区：
文献类型：
--
作者：
Philipp Hieronymi;Michael A. Tychonievich
给出了真实的数序集的展开式在半代数注入下定义（R，+，·，N）的象的一个判据.特别地，我们证明了对于非二次无理数α，真实的数的有序Q（α）-向量空间的N展开定义了R上的乘法.
We give a criterion when an expansion of the ordered set of real numbers defines the image of (R,+, ·,N) under a semialgebraic injection. In particular, we show that for a non-quadratic irrational number α, the expansion of the ordered Q(α)-vector space of real numbers by N defines multiplication on R.