User blog comment:Wythagoras/FGH of Dollar Function new version/@comment-11227630-20131109131352

I think your Xi2(1,0) is exactly the "inaccessible compact" cardinal. But isn't it a fixed point that a->Omega_a, and so OmegaXi 2(1,0) =Xi2(1,0) ?