User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-10217029-20130713053129/@comment-1605058-20130713061107

It can be shown that some integer has complexity n for any n, so that would give order type w for all functions.