加载中…
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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本