# Stable

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

## $f$-Stable Ordinals

An ordinal $\alpha$ is $f$-stable for a function $f$ such that $\alpha\leq f(\alpha)$ iff $L_{\alpha}\preceq_{1}L_{f(\alpha)}$. For example:

The smallest $\Pi_{0}^1$-Reflective ordinal is (+1)-stable.

## $\beta$-Stable Ordinals

An ordinal $\alpha$ is $\beta$-stable for an ordinal $\beta$ such that $\alpha\leq\beta$ iff $L_{\alpha}\preceq_{1}L_{\beta}$.

An ordinal $\alpha$ is stable iff $L_{\alpha}\preceq_{1}L_{\omega_{1}}$. The smallest stable ordinal is also the smallest $\Sigma_{2}^1$-reflecting ordinal.

## References

    This article is a stub. Please help us to improve Cantor's Attic by adding information.