毕竟没有无限阶多项式完备格
摘要:如果一个格L具有插值性质,且其基数是一个具有不可数可序性的强极限基数,那么某些有限幂L^n具有大小为κ的反链。 利用我们之前的结果(math.LO/9707203在xxx存档中),一个无限opc格的基数必须是无法达到的,我们现在可以得出结论:不存在无限opc格。 然而,强无序集合的存在(在ZF下)暗示了无限opc格的存在。
作者:Martin Goldstern and Saharon Shelah
论文ID:math/9810050
分类:Logic
分类简称:math.LO
提交时间:2007-05-23