Publié le : 1990-07-05
Classification:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00095655,
author = {Cegielski, Patrick},
title = {La th\'eorie des corps r\'eels-clos inductifs est une extension conservative de l'arithm\'etique de Peano},
journal = {HAL},
volume = {1990},
number = {0},
year = {1990},
language = {fr},
url = {http://dml.mathdoc.fr/item/hal-00095655}
}
Cegielski, Patrick. La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano. HAL, Tome 1990 (1990) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095655/