Publié le : 1981-07-05
Classification:
Arithmétique de Skolem,
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00095642,
author = {Cegielski, Patrick},
title = {La th\'eorie \'el\'ementaire de la multiplication est cons\'equence d'un nombre fini d'axiomes de ISigmaZ\'ero},
journal = {HAL},
volume = {1981},
number = {0},
year = {1981},
language = {fr},
url = {http://dml.mathdoc.fr/item/hal-00095642}
}
Cegielski, Patrick. La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro. HAL, Tome 1981 (1981) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095642/