Highly Undecidable Problems For Infinite Computations Olivier Finkel RAIRO-Theor. Inf. Appl., 43 2 (2009) 339-364 Published online: 14 February 2009 DOI: 10.1051/ita/2009001