Square Compactness and the filter extension property
arXiv:1909.05474
Abstract
We show that the consistency strength of being -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 Juh{\' a}sz.
This version incorporates referee's comments and some new references. No major mathematical changes have been made