良好的排序,Martin-Löf型理论的证明

安东·塞泽尔.良好的排序,Martin-Löf型理论的证明.纯逻辑与应用逻辑年鉴, 92(2):113-159,1998

摘要

缺少摘要。