ON HENK BARENDREGT'S FAVORITE OPEN PROBLEM
Benedetto Intrigila, Richard Statman · 2007
Abstract. H is the λ-theory extending β-conversion by identifying all closed unsolvables. A long-standing open problem of H. Barendregt states that the range property holds in H. Here we discuss what we know about the problem. We also make some remarks on the λ-theoryHω (the closure ofHunder the ω-rule and β-conversion). 1.