Number of models of theories with many types Anand Pillay (1978/1979) Groupe d'étude de théories stables