User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-7484840-20130719072932

Would another way of defining the hyper-weakly accessible be something along the lines of I(a_1,a_2,...,(a_k),0...0) = b |--> I(a_1,a_2,...a_k,b,0...0). Plus all of the stuff about how it works with the psi function. If it is, one of my old extensions to HAN worked just like this but I removed it because it seemed too simple. (If out does work like this I may have to bring it back!)