ITP, ISP, AND SCH

DOI10.1017/jsl.2019.2zbMath1476.03071OpenAlexW2913171260MaRDI QIDQ5222532

Sherwood Hachtman, Dima Sinapova

Publication date: 6 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2019.2

zbMATH Keywords

large cardinalsPrikry forcingtree propertyinternal unboundedness

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Related Items

The super tree property at the successor of a singular, Guessing models imply the singular cardinal hypothesis

Cites Work

• Unnamed Item
• Unnamed Item
• Guessing models and generalized Laver diamond
• The combinatorial essence of supercompactness
• On the consistency strength of the proper forcing axiom
• A model of Cummings and Foreman revisited
• The tree property
• MODIFIED EXTENDER BASED FORCING
• Prikry-Type Forcings
• Combinatorial Characterization of Supercompact Cardinals
• THE TREE PROPERTY AT AND
• Strong tree properties for small cardinals
• Aronszajn trees and the independence of the transfer property
• Sur un problème de Sikorski