麦克道尔-斯佩克定理的 63 年
逻辑
2022-09-07 v2
摘要
1959年9月，在华沙的无穷方法会议上，Ernst Specker 报告了与 Robert MacDowell 的联名论文，作者在其中证明了佩亚诺算术的每一个模型都有一个初等扩张，使得所有新元素都大于原模型的所有元素。迄今为止，该定理一直是新结果和推广的不竭源泉，且仍有与之相关的开放问题。本文是对所有这些发展的综述。
关键词
引用
@article{arxiv.2208.03156,
title = {63 Years of the MacDowell-Specker Theorem},
author = {Roman Kossak},
journal= {arXiv preprint arXiv:2208.03156},
year = {2022}
}
备注
1 figure