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.


    Volume: Volume 10, Issue 1
    Published on: January 21, 2014
    Imported on: February 11, 2013
    Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 962 times.
    This article's PDF has been downloaded 207 times.