Olivier Finkel The Complexity of Infinite Computations In Models of Set Theory http://arxiv.org/abs/0910.1268 2009 CoRR abs/0910.1268 db/journals/corr/corr0910.html#abs-0910-1268 informal publication