The semi-weak square principle (Q2326418)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The semi-weak square principle |
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
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