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

Yes, Ξ2(1,0) is the "inaccessible compact" cardinal. And Ξ2(2,0) is the mahlo compact ordinal. The diagonalizer of the Ξ2 function is the "compact compact" cardinal. And yes, it should be ΩΞ 2(1,0)+1