TY - RPRT TI - $\square_κ^{<ω}$ holds in $L[{\vec E}]$ AU - Ernest Schimmerling PY - 1997 UR - https://arxiv.org/abs/math/9702205 ID - math/9702205 ER -