https://9lib.org/document/y6eogw07-generalized-quantifiers-infinitary-logics-and-abstract-elementary-classes.html