1. Computable Structures and the Hyperarithmetical Hierarchy;Ash,2000
2. Back and forth through infinitary logic;Barwise,1973
3. Admissible Sets and Structures;Barwise,1975
4. Infinitary properties of abelian torsion groups;Barwise;Ann. Math. Logic,1970
5. Ranked structures and arithmetic transfinite recursion;Greenberg;Trans. Amer. Math. Soc.,2008