{"id":"arxiv/2609.25033","url":"https://arxiv.org/abs/2609.25033","tags":["math.LO"],"score":0,"title":"Bistationary Traces, Wide Levels, and Branch-Cover Rigidity for an Unrestricted Typed Variant of the Hayut-Magidor Forcing","domain":"math.LO","source":"arxiv","authors":["Xing-Yu Hu"],"reviews":0,"subject":"math.LO","summary":"For every uncountable regular cardinal $α$, $\\mathbb S^{\\ast}(α)$ is an explicitly typed four-coordinate forcing motivated by the ladder-system construction of Hayut and Magidor. The forcing is $σ$-closed and, after adjoining a formal maximum, $α$-strategically closed. For $α\\geqω_2$, every nonempty countable family of designated generic branches has a stationary and costationary common trace on the generic ladder-coordinate set $L_α$, while no countable family of cofinal branches generates $L_α$. These conclusions persist under a Kurepa-style level-size bound. In the unrestricted forcing,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-23","reactions":{}}