I discuss a back-and-forth technique for proving that in certain expansions of the complex field every L_{infty, omega}-definable subset of C: is either countable or co-countable. Some successes of the method will also be discussed.
- Séminaire Géométrie et théorie des modèles