1. First order logic with generalized quantifiers;Lindstrom;Theoria,1966
2. Consistency results about ordinal definability;McAloon;Ann. Math. Logic,1971
3. Consistency results concerning supercompactness;Menas;Trans. Amer. Math. Soc.,1976
4. Boolean valued models and generalized quantifiers;Váánánen;Ann Math. Logic,1980