Fixed-point lemma for normal functions: Difference between revisions

Revision as of 03:48, 1 February 2006

Revision as of 17:16, 9 February 2006

Line 1:

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]]) followfollows.

== Formal version ==