User blog comment:Ubersketch/Hypernomial Hierarchy v3/@comment-36957202-20190617184623/@comment-34422464-20190618145701

They're ordinal-like things, defined using erdinals (which are ill-defined but the recursive system I use shouldn't make this things ill-defined.)