ITP, ISP, AND SCH
From MaRDI portal
Publication:5222532
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
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