User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-1605058-20130715203337

Well, on slide 16 he considers model of ZFC+V=HOD, so I thought he takes this axiom into consideration. Also, what is \(\omega^L_1\)?