User blog comment:Ikosarakt1/Ideas of going past psi(K)/@comment-24509095-20140618004924/@comment-25418284-20140618133835

If there is a well-ordering for your symbols, then why not find a way to map them to the set of ordinals less than that order type?