1. [2] Barwise, J., Admissible Sets and Structures. An Approach to Definability Theory, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1975.
2. [3] Chan, A., Models of High Rank for Weakly Scattered Theories, Ph.D. thesis, Massachusetts Institute of Technology, 2006.
3. [4] Goddard, C., Improving a Bounding Result for Weakly-Scattered Theories, Ph.D. thesis, Massachusetts Institute of Technology, 2006.
4. [5] Grilliot, T. J., "Omitting types: Application to recursion theory", The Journal of Symbolic Logic, vol. 37 (1972), pp. 81--89.
5. [6] Harnik, V., and M. Makkai, "A tree argument in infinitary model theory", Proceedings of the American Mathematical Society, vol. 67 (1977), pp. 309--14.