Conservative extensions of models of arithmetic.
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 85-94
Cet article a éte moissonné depuis la source European Digital Mathematics Library
@article{AMLG_1980__20_137963,
author = {Andreas Blass},
title = {Conservative extensions of models of arithmetic.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {85--94},
year = {1980},
volume = {20},
zbl = {0453.03072},
url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137963/}
}
Andreas Blass. Conservative extensions of models of arithmetic.. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 85-94. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137963/