User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-39259101-20190819131438

I have a small question related to OCF's in general why is it usual for them to enumerate the additively principal ordinals with a function like y+d and not the limit ordinals using y+1 is there anything that is easier to determine using y+d?