An exposition of the compactness of $L(Q^\mathrm{cf})$
Logic
2020-09-11 v3
Abstract
We give an exposition of the compactness of , for any set of regular cardinals.
Keywords
Cite
@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}
}
Comments
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