English

On compactness of weak square at singulars of uncountable cofinality

Logic 2026-03-04 v2

Abstract

Cummings, Foreman, and Magidor proved that Jensen's square principle is non-compact at ω\aleph_\omega, meaning that it is consistent that n\square_{\aleph_n} holds for all n<ωn<\omega while ω\square_{\aleph_\omega} fails. We investigate the natural question of whether this phenomenon generalizes to singulars of uncountable cofinality. Surprisingly, we show that under some mild hypotheses, the weak square principle κ\square_\kappa^* is in fact compact at singulars of uncountable cofinality, and that an even stronger version of these hypotheses is not enough for compactness of weak square at ω\aleph_\omega.

Keywords

Cite

@article{arxiv.2208.09380,
  title  = {On compactness of weak square at singulars of uncountable cofinality},
  author = {Maxwell Levine},
  journal= {arXiv preprint arXiv:2208.09380},
  year   = {2026}
}

Comments

Partially revised