User blog comment:Ikosarakt1/Uncountable function cannot exists/@comment-1605058-20130707061148/@comment-5150073-20130708194439

To get F_w_1(n), we must have a generalized algorithm for defining fundamental sequences for countable ordinals, because it's equivalent to diagonalize over entire FGH. Any ideas about definition of this function?