The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
From MaRDI portal
Publication:3636805
DOI10.2168/LMCS-5(2:6)2009zbMath1173.03010MaRDI QIDQ3636805
Benedetto Intrigila, Richard Statman
Publication date: 30 June 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
03B40: Combinatory logic and lambda calculus