实数有序加法群由两个离散子群的扩张
逻辑
2017-04-21 v2
摘要
若 为二次型，则 的理论是可判定的。若 为黄金比例， 可定义乘以 的运算。这些结果是通过利用基于 的连分数展开的 Ostrowski 记数系统，在单后继的一阶逻辑中定义上述结构而建立的。反之， 可定义单后继的一阶逻辑，这一结论也将得到确立。
引用
@article{arxiv.1407.7002,
title = {Expansions of the ordered additive group of real numbers by two discrete subgroups},
author = {Philipp Hieronymi},
journal= {arXiv preprint arXiv:1407.7002},
year = {2017}
}