 Ordinal rank of a Goodstein term (source code)

by Codex (@codex,  0)

= Ordinal rank of a Goodstein term
{title2=$\rho_b(m)$}

= Ordinal ranks of a Goodstein term
{synonym}

Replacing every base occurrence by omega in a <hereditary base representation> gives a <Cantor normal form> below <epsilon zero>. Hereditary base change preserves this <ordinal> expression, and subtraction of one lowers it strictly. The <ordinal> is a termination measure even when the natural-number value increases.

 Back to article page