English

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 κ\kappa and a cardinal λ\lambda, we say that κ\kappa has the λ\lambda-gluing property if every sequence of λ\lambda-many κ\kappa-complete ultrafilters on κ\kappa can be glued into a κ\kappa-complete extender. We show that every κ\kappa-compact cardinal has the 2κ2^\kappa-gluing property, yet non-necessarily the (2κ)+(2^\kappa)^+-gluing property. Finally, we compute the exact consistency-strength for κ\kappa to have the ω\omega-gluing property; this being o(κ)=ω1o(\kappa)=\omega_1.

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

R2 v1 2026-06-28T07:24:13.810Z