Infinite arithmetic formulas and the reflection principle

Autor: N. V. Belyakin, S. P. Odintsov

Publikováno v: Algebra and Logic. 36:147-154

An extension of the language of arithmetic is constructed such that it allows us to work with recursive sequences of arithmetic formulas as if it were a single formula. It is proved that Feferman's reflection principles are inferable in the extension

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7d72cd00f5e9dee776e40b20e315402a
https://doi.org/10.1007/bf02671612

Nonstandard analysis and axiom of determinateness

Autor: S. P. Odintsov, N. V. Belyakin

Publikováno v: Algebra and Logic. 32:328-333

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f2f42cffde6ed17a650393a198ed2555
https://doi.org/10.1007/bf02263051

Effective hierarchies

Autor: N. V. Belyakin

Publikováno v: Algebra and Logic. 29:253-261

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::75e22593ff2baacc53f6f94424afe9fa
https://doi.org/10.1007/bf01978403

R

Autor: L. A. Skornyakov, I. P. Mysovskikh, A. A. Talalyan, E. D. Solomentsev, A. G. Sveshnikov, V. A. Chuyanov, A. L. Shmel’kin, V. A. Andrunakievich, R. A. Minlos, K. Yu. Bulota, L. V. Kuz’min, M. P. Mineev, B. A. Sevast’yanov, N. N. Cnentsov, R. L. Dobrushin, V. V. Prelov, Yu. V. Prokhorov, A. M. Yaglom, V. F. Kolchin, V. I. Pagurova, A. A. Borovkov, M. S. Nikulin, T. Yu. Popova, O. A. Ivanova, V. L. Popov, V. E. Govorov, M. V. Fedoryuk, E. G. D’yakonov, K. P. Dolzhenko, Viktor S. Kulikov, D. Sullivan, L. D. Kudryavtsev, Val. S. Kulikov, A. S. Rapinchuk, A. V. Malyshev, C. Dellacherie, V. M. Babich, A. V. Prokhorov, N. Kh. Rozov, P. C. Fife, D. A. Gudkov, D. A. Ponomarev, V. E. Plisko, S. A. Stepanov, B. I. Golubov, S. N. Artemov, K. M. Millionshchikov, V. M. Millionshchikov, N. V. Belyakin, V. A. Dushskiĭ, P. J. Rousseeuw, V. K. Domanskiĭ, S. S. Goncharov, A. N. Degtev, S. G. Tankeev, V. N. Grishin, V. M. Millwnshchikov, D. V. Alekseevskiĭ, L. N. Shevrin, V. F. Turchin, A. V. Arkhangelskiĭ, E. B. Vinberg, E. P. Dolzhenko, N. N. Vil’yams, E. V. Solomentsev, V. A. Buevich, I. B. Vapnyarskiĭ, U. A. Vladimirov, N. N. Viil’yams, A. B. Ivanov, V. I. Danilov, L. N. Shevnn, A. P. Terekhin, Yu. S. Ilyashenko, A. V. Arkhangel Skiĭ, J. J. Volkov, V. P. Platonov, I. I. Volkov, V. Ya. Arsenin, A. N. Tikhonov, A. S. Mishchenko, A. P. Norden, A. V. Mikhalev, E. G. Sklyarenko, D. D. Sokolov, A. A. Ruzmaĭkin, E. S. Nikolaev, N. A. Karpova, S. V. Yablonskiĭ, Yu. K. Belyaev, B. V. Gnedenko, V. A. Sevast’yanov, S. A. Anikin, M. Sh. Tsalenko, A. L. Onishchik, A. N. Rudakov, C. M. Ringel, L. M. Gluskin, E. S. Lyapin, A. I. Shtern, A. V. Roĭter, N. M. Nagornyĭ, Yu. I. Merzlyakov, E. A. Golubov, A. P. Yuzhakov, V. I. Sobolev, L. V. Kuzmm, M. I. Voĭtseknovskiĭ, N. V. Butenin, A. D. Bryuno, I. V. Proskuryakov, A. M. Nakhushev, A. V. Arkhangel’skiĭ, V. S. Malakhovskiĭ, E. L. Tonkov, L. A. Sidorov, I. Kh. Sabitov, V. V. Shardurov, A. A. Konyushkov, F. D. Gakhov, V. A. Il’in, A. M. Nakhyshev, E. M. Chirka, T. P. Lykashenko, S. L. Krushkal’, Ü. Lumiste, V. A. Toponogov, Yu. D. Burago, A. D. Aleksandrov, V. N. Berestovskiĭ, V. M. Tikhomirov, T. P. Lukashenko, V. F. Emel’yanov, Yu. B. Rudyak, V. M. Kopytov, A. N. Parshin, Yu. A. Bakhturin, K. A. Zhevlakov

Publikováno v: Encyclopaedia of Mathematics ISBN: 9780792329763

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3cdd43676f4a9013832706d3f2834a90
https://doi.org/10.1007/978-1-4899-3791-9_6

Intensionality, Reflection, and Large Cardinals.

Autor: N. V. Belyakin, V. A. Ganov

Publikováno v: Siberian Mathematical Journal; Nov/Dec2002, Vol. 43 Issue 6, p985-994, 10p