1. Model-Theoretic Logics,1985
2. An Approach to Definability Theory, Admissible Sets and Structures;Barwise,1975
3. The topological Vaught's conjecture and minimal counterexamples;Becker;J. Symbolic Logic,1994
4. Computable trees of Scott rank ω1CK, and computable approximation;Calvert;J. Symbolic Logic,2006
5. Countable models of set theories;Friedman,1973