Definability of the set of all true propositions of arithmetic by passage to the limit
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 52 (1997) no. 2, pp. 422-423
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{RM_1997_52_2_a29,
author = {A. I. Serebryanyi},
title = {Definability of the set of all true propositions of arithmetic by passage to the limit},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {422--423},
publisher = {mathdoc},
volume = {52},
number = {2},
year = {1997},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RM_1997_52_2_a29/}
}
TY - JOUR AU - A. I. Serebryanyi TI - Definability of the set of all true propositions of arithmetic by passage to the limit JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 1997 SP - 422 EP - 423 VL - 52 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_1997_52_2_a29/ LA - en ID - RM_1997_52_2_a29 ER -
%0 Journal Article %A A. I. Serebryanyi %T Definability of the set of all true propositions of arithmetic by passage to the limit %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1997 %P 422-423 %V 52 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_1997_52_2_a29/ %G en %F RM_1997_52_2_a29
A. I. Serebryanyi. Definability of the set of all true propositions of arithmetic by passage to the limit. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 52 (1997) no. 2, pp. 422-423. http://geodesic.mathdoc.fr/item/RM_1997_52_2_a29/