论皮亚诺算术模型的值群
逻辑
2018-11-02 v7
摘要
我们研究 -实闭域，即那些具有整数部分的实闭域，其非负锥是皮亚诺算术的一个模型。我们证明了 -实闭域的值群是剩余域中的指数群，而其逆命题在一般情况下不成立。作为应用，我们对可数递归饱和指数实闭域的值群进行了分类（在同构意义下）。我们利用这一刻画构造了不是 -实闭域的可数指数实闭域。
引用
@article{arxiv.1205.2254,
title = {On the Value Group of a Model of Peano Arithmetic},
author = {Merlin Carl and Paola D'Aquino and Salma Kuhlmann},
journal= {arXiv preprint arXiv:1205.2254},
year = {2018}
}
备注
To appear in "Forum Mathematicum"