A model for global compactness

Sittinon Jirattikansakul, Inbar Oren, Assaf Rinot

In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which ${\aleph }_{\omega +1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncoun…