User blog comment:Vel!/Hilbert ITTMs/@comment-10429372-20140724163701/@comment-10429372-20140725190809

I'm not sure here, but there are Beth_2 funtions (Z -> {0,1}) -> {0,1}. Is that your intention, or a mistake?