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/