"The Omega Rule is II_2^0-Hard in the lambda beta -Calculus."

Benedetto Intrigila, Richard Statman (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics