1. On recursively saturated models of arithmetic;Barwise,1975
2. A note on two cardinal problems;Chang,1970
3. Model theory;Chang,1973
4. The fine structure of the constructible universe;Jensen;Ann. Math. Logic,1972
5. Logic with the quantifier “there exists uncountably many”;Keisler;Ann. Math. Logic,1970