1. Invariant Borel sets;Scott;Fund. Math.,1964
2. Scott sentences and amissible sets;Nadel;Annals of Math. Log.,1974
3. Theory of Recursive Functions and Effective Computability;Rogers,1967
4. Admissible Sets and Structures;Barwise,1975
5. The number of countable models;Morley;Jour. Symb. Log.,1970