User blog:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?

Here's what I wondered, is why our weakly-compact OCFs use \(\Xi(\Kappa,0)\) as a hyper-Mahlo cardinal instead of a greatly Mahlo cardinal, as that would make the function sigifictally stronger. Also, why isn't t