A Side Condition Principle With Applications
Source: arxiv.org/abs/2611.04362
We introduce a combinatorial principle $\textsf{SC}(κ)$, for any regular cardinal $κ\ge ω_2$, which asserts the existence of a family $\mathcal{Y} \subseteq [H(κ)]^ω$ of elementary substructures of $H(κ)$ which is closed under finite intersections and satisfies that for stationarily many $N \in \mathcal{Y}$, if $M \in \mathcal{Y}$ and $M \cap ω_1 < N \cap ω_1$, then $M \cap N \cap κ\in N$. We explore the idea of defining forcings with side conditions consisting of finite subsets of such a family $\mathcal{Y}$. If $\textsf{SC}(ω_2)$ holds, then there exists a thin stationary subset of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.04362
curl -X POST /api/v1/records/arxiv/2611.04362/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.04362/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'