Weak square and stationary reflection (Q1669669): Difference between revisions

The authors show that if $\lambda$ is a singular cardinal such that $\mu^{\mathrm{cf}} (\lambda) < \lambda$ for all $\mu < \lambda$, then the weak square principle $\square_\lambda^\ast$ entails the existence of a non-reflecting stationary subset of $E^{\lambda^+}_{\mathrm{cf}} (\lambda)$ in the forcing extension for adding a single Cohen subset of $\lambda^+$. They deduce from this that SCFA (the subcomplete forcing axiom) entails that for any uncountable cardinal $\lambda$ of cofinality $\omega$ ($\omega_1$, greater than $\omega_1$), $\square_\lambda^\ast$ fails ($\square_{\lambda, \mu}$ fails for all $\mu < \lambda$, $\square_{\lambda, \mu}$ fails for all $\mu < \mathrm{cf} (\lambda)$).