Reflection and not SCH with overlapping extenders (Q2155489)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reflection and not SCH with overlapping extenders
scientific article

    Statements

    Reflection and not SCH with overlapping extenders (English)
    0 references
    15 July 2022
    0 references
    In this short paper, the following consistency result is obtained: It is consistent, relative to large cardinals, that there is a strong limit singular cardinal \(\lambda\) such that \(2^{\lambda} > \lambda^+\) and every stationary subset of \(\lambda\) reflects. The first consistency result of this form was obtained by Assaf Sharon in his PhD thesis, for a singualr cardinal of countable cofinality. Sharon's methods was generalized in [\textit{A. Poveda} et al., J. Math. Log. 22, No. 3, Article ID 2150019, 59 p. (2022; Zbl 07632517)]. Later, in a paper by Ben-Neria, Hayut and Unger (unpublished) the consistency of the statement for \(\lambda\) of uncountable cofinality was obtained using Gitik's Overlapping Extender Based Prikry forcing, [\textit{M. Gitik}, J. Math. Log. 20, No. 3, Article ID 2050013, 34 p. (2020; Zbl 1486.03083)]. In this paper, this result is obtained using the same forcing technique, but the arguments for the stationary reflection are different and do not rely of analysis of some ultrapowers. In the last section of the paper, a model is constructed, in which there is a club of strong limit singular cardinals for which the tree property and stationary reflection hold while the singular cardinal hypothesis fails.
    0 references
    0 references
    singular cardinals
    0 references
    stationary reflection
    0 references
    singular cardinal hypothesis.
    0 references
    overlapping extenders
    0 references
    forcing
    0 references
    0 references

    Identifiers