Compactness of the quantifier on "Complete Embedding of BA's" - Saharon Shelah (2016)