1. Infinitary logic and admissible sets;Barwise;J. Symbolic Logic,1969
2. Admissible sets over models of set theory;Barwise;Generalized Recursion Theory,1974
3. Admissible Sets and Structures;Barweise,1975
4. On the recursively saturated models of arithmetic;Barwise;Model Theory and Algebra: A Memorial tribute to Abraham Robinson,1975
5. An Introduction to Recursively Saturated and Resplenedent Models;Barwise;J. Symbolic Logic,1976