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 2819 times.
    This article's PDF has been downloaded 342 times.