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

ZFC + there is an inaccessible proves that MK has a standard model (VI+1) and that's enough to conclude its PTO is greater than that of MK.