User blog comment:Scorcher007/Analysis DAN up to Z2/@comment-35470197-20180828141502/@comment-35470197-20180828153754

Thank you. So you mean that your correspondence with DAN expression is not a surjective map onto \(\textrm{Z}_2\) (while the image contains many notable ordinals), right? If it is not surjective, then the limit itself is not \(\textrm{Z}_2\). That is why I asked the question.