The consistency strength of the tree property at the double successor of a measurable cardina
From MaRDI portal
Publication:3561065
DOI10.4064/fm208-2-2zbMath1207.03054MaRDI QIDQ3561065
Natasha Dobrinen, Sy-David Friedman
Publication date: 21 May 2010
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/fm208-2-2
consistency; inner model; measurable cardinal; tree property; Sacks forcing; hypermeasurable cardinal
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
THE EIGHTFOLD WAY, A general tool for consistency results related to I1, Inner models with large cardinal features usually obtained by forcing, Definable normal measures, Cichoń's diagram for uncountable cardinals, A definable failure of the singular cardinal hypothesis, I0 and rank-into-rank axioms, The tree property at the \(\aleph_{2 n}\)'s and the failure of SCH at \(\aleph_\omega\), The tree property at ℵω+2