Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Odintsov, Sergei Pavlovich

Statistics Math-Net.Ru
Total publications: 17
Scientific articles: 13
Presentations: 2

Number of views:
This page:965
Abstract pages:3639
Full texts:1362
References:348
Doctor of physico-mathematical sciences (2006)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail: ,

http://www.mathnet.ru/eng/person27585
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/217626

Publications in Math-Net.Ru
2020
1. S. P. Odintsov, S. O. Speranski, “Belnap-Dunn modal logics: truth constants vs. truth values”, Rev. Symb. Log., 13:2 (2020),  416–435  mathnet  mathscinet  zmath  isi
2015
2. Z. V. Makridin, S. P. Odintsov, “On strong equivalence theorem for answer set semantics with strong negation”, Sib. Èlektron. Mat. Izv., 12 (2015),  108–121  mathnet
2014
3. S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Sib. Èlektron. Mat. Izv., 11 (2014),  434–443  mathnet
2013
4. S. A. Drobyshevich, S. P. Odintsov, “Finite model property for negative modalities”, Sib. Èlektron. Mat. Izv., 10 (2013),  1–21  mathnet
2011
5. S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Sib. Èlektron. Mat. Izv., 8 (2011),  365–368  mathnet
2010
6. S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Sib. Èlektron. Mat. Izv., 7 (2010),  21–41  mathnet  mathscinet
2007
7. S. P. Odintsov, “On extensions of Nelson's logic satisfying Dummett's axiom”, Sibirsk. Mat. Zh., 48:1 (2007),  138–155  mathnet  mathscinet  zmath; Siberian Math. J., 48:1 (2007), 112–125  isi  scopus
2006
8. S. P. Odintsov, “Transfer Theorems for Extensions of the Paraconsistent Nelson Logic”, Algebra Logika, 45:4 (2006),  409–435  mathnet  mathscinet  zmath; Algebra and Logic, 45:4 (2006), 232–247  scopus
9. S. P. Odintsov, “The Lattice of Extensions of the Minimal Logic”, Mat. Tr., 9:2 (2006),  60–108  mathnet  mathscinet  elib; Siberian Adv. Math., 17:2 (2007), 112–143
10. S. P. Odintsov, “On one generalization of the principle reductio ad absurdum”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:3 (2006),  62–87  mathnet
1997
11. N. V. Beliakin, S. P. Odintsov, “Infinite arithmetical formulas and the reflection principle”, Algebra Logika, 36:3 (1997),  245–258  mathnet  mathscinet
1993
12. N. V. Beliakin, S. P. Odintsov, “Nonstandard analysis and the axiom of determinacy”, Algebra Logika, 32:6 (1993),  607–617  mathnet  mathscinet
1992
13. S. P. Odintsov, “Hereditarily recursively enumerable subalgebras of a recursive Boolean algebra”, Algebra Logika, 31:1 (1992),  38–46  mathnet  mathscinet
1989
14. S. P. Odintsov, V. L. Selivanov, “The arithmetical hierarchy and ideals of enumerated Boolean algebras”, Sibirsk. Mat. Zh., 30:6 (1989),  140–149  mathnet  mathscinet  zmath; Siberian Math. J., 30:6 (1989), 952–960  isi
1988
15. S. P. Odintsov, “Recursive Boolean algebras with a hyperhyperimmune set of atoms”, Mat. Zametki, 44:4 (1988),  488–493  mathnet  mathscinet  zmath; Math. Notes, 44:4 (1988), 747–749  isi
1986
16. S. P. Odintsov, “The lattice of recursively enumerable subalgebras of a recursive Boolean algebra”, Algebra Logika, 25:6 (1986),  631–642  mathnet  mathscinet
1984
17. S. P. Odintsov, “Atomless ideals of constructive Boolean algebras”, Algebra Logika, 23:3 (1984),  278–295  mathnet  mathscinet

2019
18. Yu. L. Ershov, S. S. Goncharov, V. D. Mazurov, B. S. Baizhanov, B. Sh. Kulpeshov, P. E. Alaev, A. V. Vasil'ev, E. V. Vasil'ev, E. P. Vdovin, V. V. Verbovskii, A. A. Vikent'ev, D. Yu. Vlasov, M. A. Grechkoseeva, V. N. Zhelyabin, P. S. Kolesnikov, V. M. Kopytov, L. L. Maksimova, I. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. V. Ovchinnikova, S. P. Odintsov, D. E. Pal'chunov, N. A. Peryazev, A. G. Pinus, L. N. Pobedin, A. P. Pozhidaev, B. Poizat, V. G. Puzarenko, D. O. Revin, V. N. Remeslennikov, N. S. Romanovskii, A. N. Ryaskin, S. S. Starchenko, A. A. Stepanova, S. V. Sudoplatov, E. I. Timoshenko, D. A. Tusupov, N. G. Khisamiev, V. A. Churkin, Z. Chatzidakis, M. V. Schwidefsky, K. M. Shegirov, I. P. Shestakov, “Evgenii Andreevich Palyutin (1945–2018)”, Sib. Èlektron. Mat. Izv., 16 (2019),  1–10  mathnet
2013
19. P. E. Alaev, O. V. Bogopolski, A. V. Vasil'ev, S. S. Goncharov, Yu. L. Ershov, V. D. Mazurov, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Palchunov, V. G. Puzarenko, V. V. Rybakov, K. L. Rychkov, A. N. Ryaskin, I. A. Taimanov, A. S. Filyurin, D. G. Khramtsov, V. A. Churkin, “Sergei Ilyich Mardaev (6.04.1962–10.04.2013)”, Sib. Èlektron. Mat. Izv., 10 (2013),  30–34  mathnet
2011
20. Yu. L. Ershov, V. D. Mazurov, P. E. Alaev, L. L. Maksimova, A. S. Morozov, S. P. Odintsov, D. E. Pal'chunov, E. A. Palyutin, S. Yu. Podzorov, “Sergei Savost'yanovich Goncharov (on the occasion of his 60th birthday)”, Sibirsk. Mat. Zh., 52:5 (2011),  959–961  mathnet  mathscinet
2005
21. S. S. Goncharov, A. S. Morozov, S. P. Odintsov, “9th Asian Logic Conference, Novosibirsk, Russia, 16–19 August 2005”, Sib. Èlektron. Mat. Izv., 2 (2005),  10–11  mathnet  zmath

Presentations in Math-Net.Ru
1. On constructive versions of independence-friendly logic
Sergei P. Odintsov
Logical Perspectives 2018
May 18, 2018 17:50   
2. $\mathrm{FDE}$-Modalities and weak definability (joint work with H. Wansing)
S. Odintsov
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 15:00   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022