The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus (Logical Methods in Computer Science, 2009)