Square compactness and the filter extension property

Abstract

We show that the consistency strength of κ being 2κ-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973 by Hajnal and Juhasz