集合存在原则与闭包条件：厘清逆向数学的标准观点
逻辑
2018-07-27 v1
摘要
逆向数学中一个引人注目的事实是，几乎所有可数及可数表示数学的定理都等价于二阶算术的仅仅五个子系统。标准观点认为，这些等价关系的意义在于证明那些定理所必需且充分的集合存在原则。在本文中，我分析了集合存在原则在逆向数学中的作用，并主张最好将它们理解为自然数幂集上的闭包条件。
引用
@article{arxiv.1802.05950,
title = {Set existence principles and closure conditions: unravelling the standard view of reverse mathematics},
author = {Benedict Eastaugh},
journal= {arXiv preprint arXiv:1802.05950},
year = {2018}
}
备注
26 pages