皮亚诺算术未必可在序的单子理论中被解释
逻辑
2016-09-06 v1
摘要
Gurevich 与 Shelah 已证明皮亚诺算术不能在短链的单子二阶理论(从而在实线的单子二阶理论)中被解释。我们在此证明:一致地,皮亚诺算术甚至不能在全部链的单子二阶理论中被解释。
引用
@article{arxiv.math/9308219,
title = {Peano Arithmetic may not be interpretable in the monadic theory of orders},
author = {Shmuel Lifsches and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9308219},
year = {2016}
}