About range property for H

René David (1) , Karim Nour (1)

1 LAMA - Laboratoire de Mathématiques

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 infi nite cardinality.

Domaines: Logique [math.LO]

René David, Karim Nour. About range property for H. Logical Methods in Computer Science, 2014, 10 (1:3), pp.1-18. ⟨hal-00938332⟩