Fixed-point lemma for normal functions
Mathematical result on ordinals / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Fixed-point lemma for normal functions?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
The fixed-point lemma for normal functions is a basic result in axiomatic set theory stating that any normal function has arbitrarily large fixed points (Levy 1979: p. 117). It was first proved by Oswald Veblen in 1908.