Journal of Mathematical Logic. 2002;2(1):91-112. doi: 10.1142/S0219061302000126 Q10.92025

AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS

DOI: 10.1142/S0219061302000126

摘要 查看摘要

Copyright © Journal of Mathematical Logic. 中文内容为AI机器翻译，仅供参考！