摘要：研究了逆向数学中几个理论T的可接受的扩展。在这样的扩展中，自然数N和自然数集合S的结构M=(N, S, in)必须符合T的公理，同时还有一个基于M的集合论世界，通过Kripke-Platek集合论KP的公理来管理其无限层级。
作者：Gerhard J"ager and Michael Rathjen
论文ID：2202.03476
分类：Logic
分类简称：math.LO
提交时间：2023-06-23
PDF 下载： 英文版 中文版pdf翻译中