Mahlo cardinal
= Mahlo cardinal
{c}
{title2=$\kappa\text{ Mahlo}$}
An inaccessible cardinal $\kappa$ whose inaccessible ordinals below it form a stationary set. Equivalently, every predicate expansion of $V_\kappa$ has an inaccessible elementary rank level below $\kappa$.