加载中…
Assuming that is tightly -filtered, we prove that fails the ball fixed point property. This axiom holds under the continuum hypothesis and in the -Cohen model. The proof shows that the Stone space of the countable–cocountable algebra is a continuous retract of and uses the equivalence between tight -filteredness of and of . We also prove that the quotient of a tightly -filtered Boolean algebra with the countable separation property by an -generated -ideal is a Boolean retract of .

生成讲解博客的中文版本

生成AI智能校验的中文版本