Publié le : 2000-07-05
Classification:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00095677,
author = {Cegielski, Patrick and Grigorieff, Serge and Richard, Denis},
title = {La th\'eorie \'el\'ementaire de la fonction de couplage de Cantor des entiers naturels est d\'ecidable},
journal = {HAL},
volume = {2000},
number = {0},
year = {2000},
language = {fr},
url = {http://dml.mathdoc.fr/item/hal-00095677}
}
Cegielski, Patrick; Grigorieff, Serge; Richard, Denis. La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable. HAL, Tome 2000 (2000) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095677/