pith. sign in

arxiv: 1601.04139 · v3 · pith:SB2CCZ44new · submitted 2016-01-16 · 🧮 math.LO

Tree property at successor of a singular limit of measurable cardinals

classification 🧮 math.LO
keywords lambdalimitpropertytreecardinalssingularsuccessoraleph
0
0 comments X
read the original abstract

Assume $\lambda$ is a singular limit of $\eta$ supercompact cardinals, where $\eta \leq \lambda$ is a limit ordinal. We present two forcing methods for making $\lambda^+$ the successor of the limit of the first $\eta$ measurable cardinals while the tree property holding at $\lambda^+.$ The first method is then used to get, from the same assumptions, tree property at $\aleph_{\eta^2+1}$ with the failure of $SCH$ at $\aleph_{\eta^2}$. This extends results of Neeman and Sinapova. The second method is also used to get tree property at successor of an arbitrary singular cardinal, which extends some results of Magidor-Shelah, Neeman and Sinapova.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.