User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-35470197-20190917153046

@Plain'N'Simple

Could we have a chance to know the precise definition of your "easy isomorphism"? I agree that the proof that it is actually an isomorphism will be tiresome, but writing down the definition of an isomorphism is not so hard for you, is it?