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

Oh, sorry, my mistake: there is c functions from Z to {0,1}, and {0,1}^Z denotes set of such functions.