User blog comment:Alemagno12/Some more set theory questions/@comment-1605058-20180105165055

How did you show the first fixed point in fixed Q4 is a hyper-inaccessible? My argument (in a comment below) shows it's the first weakly inaccessible.