English

An exposition of the compactness of $L(Q^\mathrm{cf})$

Logic 2020-09-11 v3

Abstract

We give an exposition of the compactness of L(Qcf)L(Q^\mathrm{cf}), for any set CC 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