Logic
Inbar Oren (Hebrew University of Jerusalem) – Stationary reflection using ancestrally forced conditions
A stationary subset $S$ of a regular cardinal $\lambda$ reflects if $S\cap\delta$ is stationary in $\delta$ for some $\delta<\lambda$. In this talk we will sketch the core ideas behind ancestral forcing, and obtain models of stationary reflection at the successor […]
