許容順序数
集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が許容集合（すなわちKripke–Platek集合論の推移的内部モデル）であるときをいう。 言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという。
集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が許容集合（すなわちKripke–Platek集合論の推移的内部モデル）であるときをいう。 言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという。
集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が許容集合（すなわちKripke–Platek集合論の推移的内部モデル）であるときをいう。 言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという。
出典: Wikipedia「許容順序数」 · CC BY-SA 4.0
この記事を共有: X · Bluesky