Fixed-point lemma for normal functions: Difference between revisions

Revision as of 10:52, 27 January 2006

Revision as of 03:48, 1 February 2006

Line 17:

It is easily checked that the function ''f'' : Ord → Ord, ''f''(α) = א_α is normal (see [[aleph number]]); thus, there exists an ordinal Θ such that Θ = א_Θ. In fact, the above lemma shows that there are infinitely many such Θ.

==References==

{{unreferenced}}

[[Category:Set theory]]