摘要：我们研究了与新基础理论等效的组合逻辑系统TRC。我们证明了在TRC中不存在各种非层次化组合子。
作者：Thomas Jech
论文ID：math/9802075
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中