About range property for H - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2014

About range property for H

René David
  • Fonction : Auteur
  • PersonId : 859236
Laboratoire de Mathématiques
Karim Nour
Laboratoire de Mathématiques

Résumé

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 infi nite cardinality.

Domaines

Logique [math.LO]
Fichier principal
Vignette du fichier
range.pdf (305.25 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Karim Nour  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00938332

Soumis le : mercredi 29 janvier 2014-12:04:11

Dernière modification le : mardi 15 octobre 2024-14:50:36

Archivage à long terme le : dimanche 9 avril 2017-02:24:28

Télécharger pour visualiser

Dates et versions

hal-00938332 , version 1 (29-01-2014)

Identifiants

  • HAL Id : hal-00938332 , version 1

Citer

René David, Karim Nour. About range property for H. Logical Methods in Computer Science, 2014, 10 (1:3), pp.1-18. ⟨hal-00938332⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA CNRS INSMI LAMA LAMA-EQUIPE-LIMD
167 Consultations
79 Téléchargements

Partager

More