Fixed-point lemma for normal functions: Difference between revisions

Revision as of 20:28, 2 June 2004

Revision as of 21:40, 30 October 2004

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:Axiomatic setSet theory]]