スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8ｗ)

どうもすみません
正則基数
cf(α)=α
を論理式で書くと
∀β<α,∀f:β→α,∃γ<α,∀δ<β:f(δ)<γ
でしょうか

宇宙公理を到達不能基数の存在として書くと
U::∀α,∃κ>α,∀β<κ:p(β)<κ∧∀f:β→κ,∃γ<κ,∀δ<β:f(δ)<γ
となるんですかね

なんかもう全然数学じゃなくなってる

αは正則基数 ⇔ α=min{β∈ON|∃(f:β→α):(∀γ∈α.∃x∈f(β):(x>γ))}
補足：最小元は必ず存在。なぜなら順序数全体のクラスONが∈に関して整列クラスだから。

Fejér-Rogosinski theorem for the Neil algebra
Nilanjan Das, Jaydeb Sarkar