The Gluing Property

Publication date: 6 December 2022

Abstract: We introduce a new compactness principle which we call the gluing property. For a measurable cardinal

k a p p a

and a cardinal

l a m b d a

, we say that

k a p p a

has the

l a m b d a

-gluing property if every sequence of

l a m b d a

-many

k a p p a

-complete ultrafilters on

k a p p a

can be glued into a

k a p p a

-complete extender. We show that every

k a p p a

-compact cardinal has the

2^{k} a p p a

-gluing property, yet non-necessarily the

(2^{k} a p p a)^{+}

-gluing property. Finally, we compute the exact consistency-strength for

k a p p a

to have the

o m e g a

-gluing property; this being

o (k a p p a) = o m e g a_{1}

.

This page was built for publication: The Gluing Property