1. [1] Barwise, J., Admissible Sets and Structures. An Approach to Definability Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1975.
2. [3] Gao, S., "A dichotomy theorem for mono-unary algebras", Fundamenta Mathematicae, vol. 163 (2000), pp. 25–37.
3. [4] Gao, S., "Some dichotomy theorems for isomorphism relations of countable models", The Journal of Symbolic Logic, vol. 66 (2001), pp. 902–22.
4. [5] Harrington, L. A., A. S. Kechris, and A. Louveau, "A Glimm-Effros dichotomy for Borel equivalence relations", Journal of the American Mathematical Society, vol. 3 (1990), pp. 903–28.
5. [7] Kechris, A. S., and D. A. Martin, "Infinite games and effective descriptive set theory", pp. 404–70 in Analytic Sets, edited by C. A. Rogers et al., Academic Press Inc. [Harcourt Brace Jovanovich Publishers], London, 1980. Lectures delivered at a Conference held at University College, University of London, July 16–29, 1978.