{"id":"arxiv/2611.04362","url":"https://arxiv.org/abs/2611.04362","tags":["math.LO"],"score":0,"title":"A Side Condition Principle With Applications","domain":"math.LO","source":"arxiv","authors":["Hannes Jakob","John Krueger"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}