User blog comment:Alemagno12/Defining stage n cardinals in terms of stationary sets/@comment-1605058-20180611093056

Doesn't S(T,x) enumerate hyper-Mahlo cardinals?