Email Record: Descriptive set theoretic methods in automata theory :