The generic-type conjecture for simple superstable groups
Generic-type conjecture. The generic type of GGG is ESN.
The Lascar-rank conjecture for countable models of superstable theories
Lascar-rank conjecture. If