THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM

DOI10.1017/JSL.2018.74zbMATH Open1453.03050arXiv1801.00529OpenAlexW2781648117MaRDI QIDQ5222530FDOQ5222530

Authors: Thomas Gilton, John Krueger 

Publication date: 6 April 2020

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

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$.

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

Recommendations

• Reflecting stationary sets and successors of singular cardinals
• On the weak reflection principle
• Reflection principles for \(\omega_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

zbMATH Keywords

forcingstationary set reflectionmixed support forcing iteration

Mathematics Subject Classification ID

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

Cites Work

• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• Title not available (Why is that?)
• Aronszajn trees and the independence of the transfer property
• Some exact equiconsistency results in set theory
• A note on the eightfold way

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)