Geodesic
Nikolai Aleksandrovich Shanin (obituary)
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 68 (2013) no. 4, pp. 763-767 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{RM_2013_68_4_a3,
     author = {M. A. Vsemirnov and \`E. A. Hirsch and D. Yu. Grigor'ev and G. V. Davydov and E. Ya. Dantsin and I. D. Zaslavskii and \`E. F. Karavaev and B. Yu. Konev and N. K. Kossovskii and V. A. Lifschitz and M. Margenstern and Yu. V. Matiyasevich and G. E. Mints and V. P. Orevkov and R. Pliu\v{s}kevi\v{c}ius and A. O. Slisenko and S. V. Solov'ev and V. P. Chernov},
     title = {Nikolai {Aleksandrovich} {Shanin} (obituary)},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {763--767},
     year = {2013},
     volume = {68},
     number = {4},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2013_68_4_a3/}
}
TY  - JOUR
AU  - M. A. Vsemirnov
AU  - È. A. Hirsch
AU  - D. Yu. Grigor'ev
AU  - G. V. Davydov
AU  - E. Ya. Dantsin
AU  - I. D. Zaslavskii
AU  - È. F. Karavaev
AU  - B. Yu. Konev
AU  - N. K. Kossovskii
AU  - V. A. Lifschitz
AU  - M. Margenstern
AU  - Yu. V. Matiyasevich
AU  - G. E. Mints
AU  - V. P. Orevkov
AU  - R. Pliuškevičius
AU  - A. O. Slisenko
AU  - S. V. Solov'ev
AU  - V. P. Chernov
TI  - Nikolai Aleksandrovich Shanin (obituary)
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2013
SP  - 763
EP  - 767
VL  - 68
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/RM_2013_68_4_a3/
LA  - en
ID  - RM_2013_68_4_a3
ER  - 
%0 Journal Article
%A M. A. Vsemirnov
%A È. A. Hirsch
%A D. Yu. Grigor'ev
%A G. V. Davydov
%A E. Ya. Dantsin
%A I. D. Zaslavskii
%A È. F. Karavaev
%A B. Yu. Konev
%A N. K. Kossovskii
%A V. A. Lifschitz
%A M. Margenstern
%A Yu. V. Matiyasevich
%A G. E. Mints
%A V. P. Orevkov
%A R. Pliuškevičius
%A A. O. Slisenko
%A S. V. Solov'ev
%A V. P. Chernov
%T Nikolai Aleksandrovich Shanin (obituary)
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2013
%P 763-767
%V 68
%N 4
%U http://geodesic.mathdoc.fr/item/RM_2013_68_4_a3/
%G en
%F RM_2013_68_4_a3
M. A. Vsemirnov; È. A. Hirsch; D. Yu. Grigor'ev; G. V. Davydov; E. Ya. Dantsin; I. D. Zaslavskii; È. F. Karavaev; B. Yu. Konev; N. K. Kossovskii; V. A. Lifschitz; M. Margenstern; Yu. V. Matiyasevich; G. E. Mints; V. P. Orevkov; R. Pliuškevičius; A. O. Slisenko; S. V. Solov'ev; V. P. Chernov. Nikolai Aleksandrovich Shanin (obituary). Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 68 (2013) no. 4, pp. 763-767. http://geodesic.mathdoc.fr/item/RM_2013_68_4_a3/

[1] S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282 | DOI | MR | Zbl

[2] Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Russian Math. Surveys, 45:1 (1990), 239–240 | DOI | MR | Zbl

[3] M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605 | DOI | DOI | MR | Zbl

[4] S. C. Kleene, “On the interpretation of intuitionistic number theory”, J. Symbolic Logic, 10:4 (1945), 109–124 | DOI | MR | Zbl

[5] A. A. Markov, “O yazyke Ya$_0$”, Dokl. AN SSSR, 214 (1974), 40–43 | MR | Zbl

[6] A. A. Markov, “O yazyke Ya$_1$”, Dokl. AN SSSR, 214 (1974), 279–282 | MR | Zbl

[7] A. A. Markov, “O yazyke Ya$_2$”, Dokl. AN SSSR, 214 (1974), 513–516 | MR | Zbl

[8] A. A. Markov, “O yazyke Ya$_3$”, Dokl. AN SSSR, 214 (1974), 765–768 | MR | Zbl

[9] A. A. Markov, “O yazykakh Ya$_4$, Ya$_5$, $\dots$”, Dokl. AN SSSR, 214 (1974), 1031–1034 | MR | Zbl

[10] A. A. Markov, “O yazyke Ya$_\omega$”, Dokl. AN SSSR, 214 (1974), 1262–1264 | MR | Zbl

[11] A. A. Markov, “O yazyke Ya$_{\omega|}$”, Dokl. AN SSSR, 215 (1974), 57–60 | MR | Zbl

[12] A. A. Markov, “On the completeness of the classical predicate calculus in constructive mathematical logic”, Soviet Math. Dokl., 15 (1974), 476–481 | MR | Zbl

[13] S. C. Kleene, “Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences”, Logique et Anal. (N.S.), 3 (1960), 154–165

[14] N. A. Shanin, “On a hierarchy of ways of understanding judgments in constructive mathematics”, Proc. Steklov Inst. Math., 129 (1973), 209–271 | MR | MR | Zbl | Zbl

[48] N. A. Shanin, “On a finitary version of mathematical analysis”, Ann. Pure Appl. Logic, 113:1-3 (2002), 261–295 | DOI | MR | Zbl

[49] N. A. Shanin, “On base representations of finitary mathematics”, Methods of logic in mathematics III, Abstracts (St. Petersburg, 2006), St. Petersburg, 2008, 14–16