About the range property for H
arXiv:1311.0363 · doi:10.2168/LMCS-10(1:3)2014
Abstract
Recently, A. Polonsky has shown that the range property fails for H. We give here some conditions on a closed term that imply that its range has an infinite cardinality.