加载中…
We present a method which forces the failure of and -separation, while ) holds, for the family of indestructible ccc forcings. This shows that, in contrast to the assumption and which implies -separation, that weaker forcing axioms do not decide separation on the third projective level.

生成讲解博客的中文版本

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