The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus

DOI10.2168/LMCS-5(2:6)2009zbMath1173.03010OpenAlexW3121592511MaRDI QIDQ3636805

Benedetto Intrigila, Richard Statman

Publication date: 30 June 2009

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-5(2:6)2009

zbMATH Keywords

lambda calculusomega rulelambda theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Reasoning about multi-stage programs ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus