摘要:存在一个分散的序类型 psi,使得 psi → [phi]^1_{mu,aleph_0} 成立。
作者:Peter Komjath and Saharon Shelah
论文ID:math/0212022
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中