$L(Q^\mathrm{cf})$ 紧致性的阐述
逻辑
2020-09-11 v3
摘要
对任意正则基数集合 ，我们给出 紧致性的一份阐述。
引用
@article{arxiv.1903.00579,
title = {An exposition of the compactness of $L(Q^\mathrm{cf})$},
author = {Enrique Casanovas and Martin Ziegler},
journal= {arXiv preprint arXiv:1903.00579},
year = {2020}
}
备注
Several typos have been corrected. The proof of Theorem 4.3 has been slightly extended and corrected. The article will appear in The Bulletin of Symbolic Logic