User blog comment:LittlePeng9/ITTM galore/@comment-10429372-20140321162236/@comment-1605058-20140321201007

2 questions: why does 0n1 encode n, and why this implies that 1+(1)(1)(01)(1)(01)(001)(1)... encodes ω. (sorry, I really have no idea what's your encoding is about) Do you use an encoding from Infinite time Turing machine article? If so, first of all, you use it incorrectly (on a places marked with 0's there should be bits, not whole codes for ordinals), and second, in this article, I'm using Hamkins-style encoding of relations, not only ordinals, as bitstrings.