{"id":"arxiv/2607.28350","url":"https://arxiv.org/abs/2607.28350","tags":["math.LO"],"score":0,"title":"Stationary reflection using ancestrally forced conditions","domain":"math.LO","source":"arxiv","authors":["Inbar Oren"],"reviews":0,"subject":"math.LO","summary":"We introduce a new method for obtaining models of stationary reflection at the successor of a singular cardinal of any cofinality. In particular, starting from a cardinal $κ$ which is $κ^+$-supercompact, we get a model of countable simultaneous reflection at $\\aleph_{ω_1+1}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}