No label defined (Q4934568)

The author states that this paper considers a special case of the following problem: Suppose that \(\kappa\) is an infinite cardinal. Characterize those \(X\subseteq \kappa^+\) such that \(X\) contains a closed unbounded (club) subset of \(\kappa^+\) in some \(\kappa\) and \(\kappa^+\) preserving outer model. (\(W\) is called an outer model of \(V\) if \(W\) and \(V\) are transitive standard models of ZFC and \(V\cap OR= W\cap OR\).) The principal result is the following Theorem: Assume \(\text{GCH}+\square\). There is a definable operation from bounded pattern width subsets \(X\) of \(\aleph_{\omega+ 1}\) to trees \(T_X\) such that the following three statements are equivalent. (1) There is a club subset of \(\aleph_{\omega+ 1}\) contained in \(X\) in some covered \(\aleph_\omega\) and \(\aleph_{\omega+ 1}\) preserving outer model, (2) \(T_X\) is ill-founded, (3) There is a club subset of \(\aleph_{\omega+ 1}\) contained in \(X\) in a fully covered, GCH, \(\aleph_\omega\) and \(\aleph_{\omega+ 1}\) preserving set forcing extension. The definitions of the new notions mentioned here are too complex to be explained in this review. For the entire collection see [Zbl 0919.00040].