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

oh sorry but using my analysis this system catches up with regular Buchholz OCF at psi_0(Omega_1^omega)=phi(omega,o) and psi_0(Omega_1^n)in Buchholz's OCF =psi_0(Omega^1+n)in mine tho i can see that the standard form might have trouble expressing those ordinals in an addition based system