显式数学和可容许集理论中元预测Mahlo的上界

格哈德·耶格尔,托马斯·斯特拉姆.显式数学和可容许集理论中元预测Mahlo的上界.符号逻辑杂志, 66(2):935-958,2001

摘要

缺少摘要。