Publié le : 1981-07-14
Classification:
03C62,
03C57,
03H15
@article{1093883454,
author = {Smory\'nski, C.},
title = {Elementary extensions of recursively saturated models of arithmetic.},
journal = {Notre Dame J. Formal Logic},
volume = {22},
number = {1},
year = {1981},
pages = { 193-203},
language = {en},
url = {http://dml.mathdoc.fr/item/1093883454}
}
Smoryński, C. Elementary extensions of recursively saturated models of arithmetic.. Notre Dame J. Formal Logic, Tome 22 (1981) no. 1, pp. 193-203. http://gdmltest.u-ga.fr/item/1093883454/