不動点はいくらでも存在する!?正規関数の不動点補題

不動点はいくらでも存在する!?正規関数の不動点補題

順序数の関数が正規関数になることはよくありそうだけど不動点がいくらでも存在することって結構強い性質な気がする集合論始めたきっかけは巨大数論だったと思う順序数崩壊関数とか昔理解できなかったからまた調べてみようかな始めに書いた定理の主張不等号にイコール付け忘れた同値ではあるけどイコールをつけた方でずっと考えてた

http://www.nicovideo.jp/watch/sm43544321