Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
The Omega Rule is II_2^0-Hard in the "β-Calculus
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Reasoning about multi-stage programs
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Hi-index | 0.00 |
We give a many-one reduction of the set of true Π11 sentences to the set of consequences of the λ-calculus with the ω-rule. This solves in the affirmative a long-standing problem of H. Barendregt (1975).