论布尔代数的超积与irr
逻辑
2007-05-23 v1
摘要
我们证明了 irr(prod limits_{i<kappa}B_i/D)< prod limits_{i<kappa}irr(B_i)/D 的一致性,其中 D 是 kappa 上的超滤,且每个 B_i 是一个布尔代数。这解决了 Monk 问题列表中此类形式的最后一个问题,即第35号。该解也适用于许多其他性质,例如 Souslin 性。接下来,我们对 kappa = aleph_1(显然对 kappa=aleph_0 不可能成立)以及基数小于 beth_{omega_1} 的布尔代数 B_i (i< kappa) 得到类似结果。
引用
@article{arxiv.math/0012171,
title = {On ultraproducts of Boolean Algebras and irr},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0012171},
year = {2007}
}