Fixed-point lemma for normal functions: Difference between revisions

Revision as of 14:46, 19 June 2005

Revision as of 10:52, 27 January 2006

Line 18:

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 Θ.

[[Category:Set theory]]
[[Category:LemmasFixed points]]

[[Category:Lemmas]]