$\square_\kappa^{<\omega}$ 在 $L[{\vec E}]$ 中成立
逻辑
2016-09-07 v1
摘要
Square-kappa-finite(弱方形的有限族版本)在 Mitchell-Steel 内模型中的所有基数 kappa 处成立。
引用
@article{arxiv.math/9702205,
title = {$\square_\kappa^{<\omega}$ holds in $L[{\vec E}]$},
author = {Ernest Schimmerling},
journal= {arXiv preprint arXiv:math/9702205},
year = {2016}
}