Štěpánek Petr
Souslin's hypothesis, Borel's conjecture and the inner model HOD