$\square_\kappa^{<\omega}$ holds in $L[{\vec E}]$
逻辑
2016-09-07 v1
摘要
Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.
引用
@article{arxiv.math/9702205,
title = {$\square_\kappa^{<\omega}$ holds in $L[{\vec E}]$},
author = {Ernest Schimmerling},
journal= {arXiv preprint arXiv:math/9702205},
year = {2016}
}