Klaus Weihrauch Yongcheng Wu Decheng Ding Absolutely non-computable predicates and functions in analysis. 59-71 2009 19 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S096012950800724X db/journals/mscs/mscs19.html#WeihrauchWD09