摘要：关于非标准可证性谓词的保真定理的推广及罗瑟可证性谓词的保真定理。
作者：Haruka Kogure, Taishi Kurahashi
论文ID：2306.07243
分类：Logic
分类简称：math.LO
提交时间：2023-06-13
PDF 下载： 英文版 中文版pdf翻译中