毕竟没有无限阶多项式完备格

摘要:如果一个格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

PDF 下载: 英文版 中文版pdf翻译中