$\square_κ^{<ω}$ holds in $L[{\vec E}]$

Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.

No reviews yet.

No comments yet.