全 S-adic 数大域的初等理论
逻辑
2015-04-29 v1 数论
摘要
我们分析了由 Geyer-Jarden 以及 Haran-Jarden-Pop 引入并研究的某些全 S-adic 代数数域的初等理论。特别地，我们给出了这些理论的公理化体系并证明了其可判定性，从而统一推广了 Jarden-Kiehne、Fried-Haran-V"olklein 以及 Ershov 的经典可判定性结果。
引用
@article{arxiv.1408.4234,
title = {The elementary theory of large fields of totally S-adic numbers},
author = {Arno Fehm},
journal= {arXiv preprint arXiv:1408.4234},
year = {2015}
}