皮亚诺算术的可数算术饱和模型的自同构群
逻辑
2014-02-25 v3
摘要
如果M,N是皮亚诺算术的可数算术饱和模型，且Aut(M)同构于Aut(N)，那么Th(M)和Th(N)的图灵跳跃是递归等价的。
引用
@article{arxiv.1311.0772,
title = {Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic},
author = {James H. Schmerl},
journal= {arXiv preprint arXiv:1311.0772},
year = {2014}
}
备注
This version is a complete revision of the previous version. The main result of this version greatly improves the main result of the earlier version