User blog comment:Rgetar/List of ordinals up to Bachmann-Howard ordinal/@comment-25337554-20171122094307/@comment-32213734-20171122122833

Hi, Nayuta Ito!

To be honest, I'm not entirely satisfied with this list since some interesting fundamental sequences absent, for example, for φ(ω,0,1), φ(ω<ω>1). I want to change it. (Maybe, I'll add fifth level, I think, there will be about 2000 FS's).