About the range property for H
Logic
2015-07-01 v3 Logic in Computer Science
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.
Cite
@article{arxiv.1311.0363,
title = {About the range property for H},
author = {René David and Karim Nour},
journal= {arXiv preprint arXiv:1311.0363},
year = {2015}
}