René David ; Karim Nour - About the range property for H

lmcs:849 - Logical Methods in Computer Science, January 21, 2014, Volume 10, Issue 1 - https://doi.org/10.2168/LMCS-10(1:3)2014
About the range property for HArticle

Authors: René David ; Karim Nour

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.

https://doi.org/10.2168/LMCS-10(1:3)2014
Source: arXiv.org:1311.0363
Volume: Volume 10, Issue 1
Published on: January 21, 2014
Imported on: February 11, 2013
Keywords: Mathematics - Logic, Computer Science - Logic in Computer Science
Licence: arXiv.org - Non-exclusive license to distribute

Share and export

Consultation statistics

This page has been seen 2899 times.
This article's PDF has been downloaded 387 times.