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

lmcs:849 - Logical Methods in Computer Science, January 21, 2014, Volume 10, Issue 1
About the range property for H

Authors: David, René and Nour, Karim

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.


Source : oai:arXiv.org:1311.0363
DOI : 10.2168/LMCS-10(1:3)2014
Volume: Volume 10, Issue 1
Published on: January 21, 2014
Submitted on: February 11, 2013
Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 63 times.
This article's PDF has been downloaded 19 times.