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 , meaning that it is consistent that holds for all while 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 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 .
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