User blog comment:Edwin Shade/Questions About Madore's Psi Function/@comment-80.98.179.160-20180124154752


 * 1) Nothing!
 * No, as that would equal \(\omega_1\).
 * 1) Because I isn't fixed point of x->\(\omega_x\), instead it's inaccessible cardinal.
 * 2) An easily graspable explanation of Mahlo cardinals is one that explains everything about them in order.