User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-1605058-20180606171052/@comment-1605058-20180607060257

I have no idea what a "recursively Greatly Mahlo ordinal" would be, nor how you infer they don't exist.