Vladimir Kanovei \cite{zbMATH01335192} developed the technique of geometric iteration and used it to prove that the perfect set forcing can be iterated with countable supports along any partial order, while preserving . In \cite{Property-B} we considered a generalised perfect set forcing with respect to a filter on a cardinal satisfying , which we denoted , and proved that its iteration with supports of size along any ordinal preserves cardinals up and including . We show that there is a version of the geometric iteration technique that applies to , to yield that for satisfying , the forcing can be iterated with supports of size along any well-founded partial order, while preserving cardinals up and including .

生成讲解博客的中文版本

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