Interpretability of various extensions of arithmetic
Matematičeskie zametki, Tome 40 (1986) no. 5, pp. 561-571
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MZM_1986_40_5_a0,
author = {S. V. Goryachev},
title = {Interpretability of various extensions of arithmetic},
journal = {Matemati\v{c}eskie zametki},
pages = {561--571},
publisher = {mathdoc},
volume = {40},
number = {5},
year = {1986},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1986_40_5_a0/}
}
S. V. Goryachev. Interpretability of various extensions of arithmetic. Matematičeskie zametki, Tome 40 (1986) no. 5, pp. 561-571. http://geodesic.mathdoc.fr/item/MZM_1986_40_5_a0/