THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM

DOI10.1017/JSL.2018.74MaRDI QIDQ5222530zbMATH OpenOpenAlexFDO

Authors Thomas Gilton, John Krueger

Publication date 6 April 2020

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

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

zbMATH Keywords

forcingmixed support forcing iterationstationary set reflection

Mathematics Subject Classification ID

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

Abstract: We prove from the existence of a Mahlo cardinal the consistency of the statement that $2^{o}mega=omeg{a}_3$ holds and every stationary subset of $omeg{a}_{2}capmathrmcof(omega)$ reflects to an ordinal less than $omeg{a}_2$ with cofinality $omeg{a}_1$.

Recommendations

• Reflecting stationary sets and successors of singular cardinals
• On the weak reflection principle
• Reflection principles for _2 and the semi-stationary reflection principle
• The consistency strength of hyperstationarity
• Bounded stationary reflection
• On reflection of stationary sets in $\mathcal {P}_\kappa \lambda $
• Full reflection at a measurable cardinal
• Stationary reflection principles and two cardinal tree properties
• Semistationary and stationary reflection
• Partial square at \(\omega _1\) is implied by MM but not by PFA

Cites work

• A note on the eightfold way
• Aronszajn trees and the independence of the transfer property
• Aronszajn trees on _2 and _3.
• scientific article; zbMATH DE number 5657615 (Why is no real title available?)
• Some exact equiconsistency results in set theory

Cited in

(2)

• A note on the eightfold way
• A weak variation of shelah's I[ω₂]

This page was built for publication: THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222530)