Solution of a Problem of Barendregt on Sensible lambda-Theories

Benedetto Intrigila, Richard Statman

<i>H</i> is the theory extending &#946;-conversion by identifying all closed unsolvables. <i>H</i>&#969; is the closure of this theory under the &#969;-rule (and &#946;-conversion)…