摘要：标注推动构建恰当的强制的能力的组合性质，并证明许多经典的能力（如牛顿能力）满足该性质。
作者：Jindrich Zapletal
论文ID：math/0502394
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中