摘要：一种具有$Pi\_{1}$-Collection的集合论的序数分析
作者：Toshiyasu Arai
论文ID：2112.09871
分类：Logic
分类简称：math.LO
提交时间：2023-08-22
PDF 下载： 英文版 中文版pdf翻译中