Abstract
It is known that if $\kappa $ is inaccessible in $V$, and $W$ is an outer model of $V$ such that $(\kappa ^+)^V = (\kappa ^+)^W$, and $\mathop{\rm cf} ^W \!(\kappa ) = \omega $, then $\square _{\kappa ,\omega }$ holds in $W$. Many strengthenings
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have