Martin's maximum and tower forcing (Q375784): Difference between revisions

The main results of the paper read as follows:{\parindent= 8mm \begin{itemize}\item[(A)] RP(\(\omega_2\)) (respectively, SRP(\(\omega_2\)) together with the tree property at \(\omega_2\)) implies that there is no tower of ideals concentrating on the class of internally club (respectively, internally stationary), \(\omega_1\)-guessing sets that is presaturated. \item[(B)] If PFA\(^+\) or MM holds, and \(\delta\) is an inaccessible cardinal, then there is a tower of height \(\delta\) with critical point \(\omega_2\) that is not presaturated. \item[(C)] If \(2^{\aleph_0} \leq \aleph_2\) and \(\delta\) is an inaccessible cardinal, then there is no precipitous tower of height \(\delta\) that concentrates on the class of internally club, \(\omega_1\)-guessing sets and is definable over \((V_\delta, \in)\). \item[(D)] Suppose that there is a supercompact cardinal with an inaccessible cardinal above, and let \(\mathbb{P}\) be the standard iteration to obtain a model of MM\(^{+\omega_1}\). Then in \(V^{\mathbb{P}}\), there is a precipitous tower concentrating on the class of internally club, \(\omega_1\)-guessing sets. \end{itemize}}