Fixed-point lemma for normal functions: Difference between revisions

Revision as of 11:28, 5 May 2014

Revision as of 04:19, 27 June 2016

Line 21:

:       = sup {α_''n''+1 : ''n'' < ω}

:       = β.

The last equality follows from the fact that the sequence &lt;α_''n''&gt; increases. <math> \square </math>

As an aside, it can be demonstrated that the β found in this way is the smallest fixed point greater than or equal to α.

== Example application ==