User blog comment:Moooosey/dco + decord sequence/@comment-43798125-20191022211916/@comment-39541634-20191023124621

The Ackermann ordinal is the first fixed point of a↦φ(a,0,0). It can also be written as φ(1,0,0,0).