Prefer a chat interface with context about you and your work?
The consistency strength of the tree property at the double successor of a measurable cardina
The Main Theorem is the equiconsistency of the following two statements: (1) $\kappa$ is a measurable cardinal and the tree property holds at $\kappa^{++}$; (2) $\kappa$ is a weakly compact hypermeasurable cardinal. From the proof of the