ユーザー:AlweLogic

Alwe．証明論と順序数崩壊関数に伴う順序数表記．

執筆中

• イェーガー・ブーフホルツのψ関数
• 証明論的順序数
• 順序数崩壊関数
• 順序数図形

執筆済

• グジェゴルチク数列
• パリス・ハーリントンの定理
• 支配
• 基本列
• 順序数表記
• カントール標準形
• 許容順序数
• 再帰的到達不能順序数
• 再帰的マーロ順序数