User blog comment:Scorcher007/Biggest ordinal's table/@comment-1605058-20180527075709/@comment-31580368-20180527105135

How then to compare them PTO, if VI is a model of ZFC and VI+1 is a model of MK?