The Gluing Property
Logic
2026-03-27 v2
Abstract
We introduce a new compactness principle which we call the gluing property. For a measurable cardinal and a cardinal , we say that has the -gluing property if every sequence of -many -complete ultrafilters on can be glued into a -complete extender. We show that every -compact cardinal has the -gluing property, yet non-necessarily the -gluing property. Finally, we compute the exact consistency-strength for to have the -gluing property; this being .
Keywords
Cite
@article{arxiv.2212.03333,
title = {The Gluing Property},
author = {Yair Hayut and Alejandro Poveda},
journal= {arXiv preprint arXiv:2212.03333},
year = {2026}
}
Comments
Lemma 3.5 of the previous version was not correct. We have removed it and tweaked the section accordingly