1. University of Barcelona, Department of Logic, Baldiri Reixac, s/n 08028, Barcelona, Spain
2. UPRESA 7056, Equipe de logique mathematique, UFR de Mathematique, Case 7012, Universite Paris 7, 2 Place Jussieu, 75251 Paris Cedex 05, France
3. Department of Mathematics, University of Illinois at Urbana-Champaign Altzeld Hall, 1409 W. Green St., Urbana, IL 61810, USA
4. Mathematisches Institut, Eckersträsse 1, 79104 Freiburg, Germany