Revision as of 07:06, 10 March 2011 edit 173.180.185.207 (talk) →Background and formal statement ← Previous edit		Revision as of 08:06, 10 March 2011 edit undo JRSpriggs (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 18,932 edits →Example application: use omega rather than aleph because we are talking about ordinals Next edit →
Line 24: == Example application == The function ''f'' : Ord → Ord, ''f''(α) = אω<sub>α</sub> is normal (see [[~~aleph~~initial ~~number~~ordinal]]). Thus, there exists an ordinal Θθ such that Θθ = אω<sub>Θθ</sub>. In fact, the lemma shows that there is a closed, unbounded class of such Θθ. ==References==

Fixed-point lemma for normal functions: Difference between revisions