Fixed-point lemma for normal functions: Difference between revisions

Revision as of 20:55, 11 March 2004

Revision as of 23:03, 1 June 2004

Line 1:

[[Category:Set theory]]

The '''fixed-point lemma for normal functions''' is a basic result in [[axiomatic set theory]]; it states that any [[normal function]] has arbitrarily large [[fixed point (mathematics)|fixed point]]s and can often be used to construct [[ordinal number]]s with interesting properties. A formal version and proof (using the [[Zermelo-Fraenkel axioms]]) follow.