FUNCTION CHAINS FROM UNIFORM SIGMA-1-1 WELL ORDERS
M. Dowd · International Journal of Pure and Apllied Mathematics · 2014
Appropriate restrictions may be placed on a Σ 1 1 well-order on V κ where κ is an inaccessible cardinal, so that it gives rise to a function chain when κ is a Mahlo cardinal.Set chains may be defined for all second order formulas.Postulating that the sets in the resulting set chain are stationary yields a powerful new axiom.