Fixed-point lemma for normal functions: Difference between revisions

Revision as of 23:09, 1 November 2020

Revision as of 13:48, 15 March 2021

Line 1:

{{Short description|Mathematical result on ordinals}}

The '''fixed-point lemma for normal functions''' is a basic result in [[axiomatic set theory]] stating that any [[normal function]] has arbitrarily large [[fixed point (mathematics)|fixed point]]s (Levy 1979: p. 117). It was first proved by [[Oswald Veblen]] in 1908.