1. Stationary logic;Barwise;Annals of Math. Logic,1978
2. A correction to “Stationary logic”;Barwise;Annals Math. Logic,1980
3. Lecture on Proof Theory;Feferman,1978
4. New axiomatization for logics with generalized quantifiers;Harnik;Israel J. Math.,1979
5. Logic with the quantifier “there exist uncountably many”;Keisler;Annals Math. Logic,1970