Fixed-point lemma for normal functions: Difference between revisions

Content deleted Content added
Added a missing parenthesis in one of the formulas.
trim
Tags: Mobile edit Mobile app edit iOS app edit App section source
 
(2 intermediate revisions by 2 users not shown)
Line 28:
 
== Example application ==
The function ''f'' : Ord → Ord, ''f''(''α'') = ω<sub>''α''</sub> is normal (see [[initial 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==
{{refbegin}}
* {{cite book
| author = Levy, A.
Line 49 ⟶ 50:
| year = 1908
| pages = 280&ndash;292
| id = Available via [https://www.jstor.org/stable/1988605 JSTOR].
| doi= 10.2307/1988605
| issue = 3
Line 55:
| issn= 0002-9947| doi-access = free
}}
{{refend}}
 
[[Category:Ordinal numbers]]