实数域子域被离散集扩张
逻辑
2011-12-23 v4
摘要
设K是实数域的一个子域,D是K的一个离散子集,f : D^n -> K是一个函数,使得f(D^n)在某处稠密。那么(K,f)定义了整数集。我们给出了这个结果的几个应用。我们证明,用不同的循环乘法子群的谓词扩张K定义了整数集。此外,我们证明,实数域子域的每个可定义完备扩张都满足贝尔纲定理的一个类比。
引用
@article{arxiv.1012.3508,
title = {Expansions of subfields of the real field by a discrete set},
author = {Philipp Hieronymi},
journal= {arXiv preprint arXiv:1012.3508},
year = {2011}
}