The semi-weak square principle (Q2326418)

From MaRDI portal





scientific article
Language Label Description Also known as
English
The semi-weak square principle
scientific article

    Statements

    The semi-weak square principle (English)
    0 references
    0 references
    7 October 2019
    0 references
    For a singular cardinal \(\kappa\), the semi-weak square principle \(\square_{\kappa, < \kappa}\) asserts the existence of a sequence \(\langle \mathcal{C}_\alpha : \alpha \in\) lim \((\kappa^+) \rangle\) such that (a) \(1 \leq \vert \mathcal{C}_\alpha \vert < \kappa\), (b) each \(C\) in \(\mathcal{C}_\alpha\) is a club subset of \(\alpha\) of order-type at most \(\kappa\), and (c) \(C \cap \beta \in \mathcal{C}_\beta\) whenever \(C \in \mathcal{C}_\alpha\) and \(\beta \in\) lim \(C\). It is shown that (A) \(\square_{\kappa, < \kappa}\) implies that for any stationary subset \(S\) of \(\kappa^+\), there is a sequence \(\langle S_i : i < \operatorname{cf} (\kappa) \rangle\) of stationary subsets of \(S\) that do not reflect simultaneously, (B) if MM holds and \(\operatorname{cf} (\kappa) = \omega_1\), then \(\square_{\kappa, < \kappa}\) fails, and (C) for any \(n < \omega\), it is consistent relative to a supercompact cardinal that \(\square_{\kappa, < \kappa}\) holds, but there is no very good scale at \(\kappa\), where \(\kappa = \omega_{\omega_n}\).
    0 references
    forcing
    0 references
    large cardinals
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references