From the 1 of 2 linked papers with an AI index.
2 papers
math.LO2026
Stationary reflection using ancestrally forced conditions
Inbar Oren
The paper introduces a new forcing method that produces models where stationary sets reflect at the successor of a singular cardinal, using a κ⁺‑supercompact cardinal to achieve co…
math.LO2025
A model for global compactness
Sittinon Jirattikansakul, Inbar Oren, Assaf Rinot
In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which carries a uniform ultrafilter that is -indecomposable for every unco…