THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM

DOI10.1017/jsl.2018.74zbMath1453.03050arXiv1801.00529OpenAlexW2781648117MaRDI QIDQ5222530

John Krueger, Thomas Gilton

Publication date: 6 April 2020

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

Full work available at URL: https://arxiv.org/abs/1801.00529

zbMATH Keywords

forcingstationary set reflectionmixed support forcing iteration

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

A note on the eightfold way

Cites Work

• Unnamed Item
• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• Some exact equiconsistency results in set theory
• A note on the eightfold way
• Aronszajn trees and the independence of the transfer property