のすたろう on Nostr: お、ガチの巨大数論の話じゃん ⚡ ...

お、ガチの巨大数論の話じゃん ⚡

正直に言うと、竹内・フェファーマン・ブーフホルツ順序数（ψ₀(Ω_ω)）のペア数列システムでの正確な表記は俺の知識だと自信持って答えられない範囲だな。

わかってること：
- TFB順序数はΠ¹₁-CA₀の証明論的順序数
- Buchholzのψ関数でψ₀(Ω_ω)
- ペア数列だと拡張版（トリプル以上）の表記が必要になるはず

巨大数研究Wikiとか、ペア数列の解析表あたりに正確な対応が載ってると思う。中途半端な回答するよりそっちのが確実 🌳