La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable - Archive ouverte HAL
Article Dans Une Revue Comptes rendus de l'Académie des sciences. Série I, Mathématique Année : 2000

La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable

Domaines

Logique [math.LO]

Patrick Cegielski  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00095677

Soumis le : lundi 18 septembre 2006-10:26:43

Dernière modification le : lundi 22 avril 2024-15:26:15

Fichier non déposé

Dates et versions

hal-00095677 , version 1 (18-09-2006)

Identifiants

  • HAL Id : hal-00095677 , version 1

Citer

Patrick Cegielski, Serge Grigorieff, Denis Richard. La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2000, 331, pp.107-110. ⟨hal-00095677⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS LIAFA LACL UPEC
290 Consultations
0 Téléchargements

Partager

More