Souslin's hypothesis, Borel's conjecture and the inner model HOD - Štěpánek, Petr (1943– ) (1981)