在实数系的扩张中解释射影层级
逻辑
2015-10-13 v3
摘要
我们给出了一个判据，判定实数有序集的扩张何时定义了实数域的扩张在半代数单射下被自然数集的像。特别地，我们证明对于非二次无理数 a，实数系的有序 Q(a)-向量空间通过自然数集的扩张定义了实数上的乘法。
引用
@article{arxiv.1203.6299,
title = {Interpreting the projective hierarchy in expansions of the real line},
author = {Philipp Hieronymi and Michael Tychonievich},
journal= {arXiv preprint arXiv:1203.6299},
year = {2015}
}