Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Odintsov, Sergei Pavlovich
Statistics
Total publications: 24
Scientific articles: 19
Presentations: 9

Number of views:
This page:42
Abstract pages:304
Full texts:108
References:36
Doctor of physico-mathematical sciences (2006)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:

https://www.mathnet.ru/eng/person27585
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/217626
https://orcid.org/0000-0003-3115-1293

Publications in Math-Net.Ru Citations
2025
1. A. G. Vishneva, S. P. Odintsov, “Modal companions for the special extensions of Nelson's constructive logic”, Mat. Zametki, 117:3 (2025),  344–364  mathnet  mathscinet; Math. Notes, 117:3 (2025), 366–382  scopus
2024
2. D. M. Anishchenko, S. P. Odintsov, “On extensions of minimal logic with linearity axiom”, Sib. Èlektron. Mat. Izv., 21:2 (2024),  852–865  mathnet
2020
3. 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 9
2015
4. 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
5. S. P. Odintsov, V. V. Rybakov, “Unification Problem in Nelson's Logic $\mathbf{N4}$”, Sib. Èlektron. Mat. Izv., 11 (2014),  434–443  mathnet 1
2013
6. S. A. Drobyshevich, S. P. Odintsov, “Finite model property for negative modalities”, Sib. Èlektron. Mat. Izv., 10 (2013),  1–21  mathnet 6
2011
7. S. P. Odintsov, “Glivenko theorem for $N^*$-extensions”, Sib. Èlektron. Mat. Izv., 8 (2011),  365–368  mathnet 1
2010
8. S. P. Odintsov, “Combining intuitionistic connectives and Routley negation”, Sib. Èlektron. Mat. Izv., 7 (2010),  21–41  mathnet  mathscinet 11
2007
9. 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 6
2006
10. 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 2
11. 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 4
12. 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
13. N. V. Beliakin, S. P. Odintsov, “Infinite arithmetical formulas and the reflection principle”, Algebra Logika, 36:3 (1997),  245–258  mathnet  mathscinet
1993
14. N. V. Beliakin, S. P. Odintsov, “Nonstandard analysis and the axiom of determinacy”, Algebra Logika, 32:6 (1993),  607–617  mathnet  mathscinet
1992
15. S. P. Odintsov, “Hereditarily recursively enumerable subalgebras of a recursive Boolean algebra”, Algebra Logika, 31:1 (1992),  38–46  mathnet  mathscinet 4
1989
16. 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 13
1988
17. 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 2
1986
18. S. P. Odintsov, “The lattice of recursively enumerable subalgebras of a recursive Boolean algebra”, Algebra Logika, 25:6 (1986),  631–642  mathnet  mathscinet
1984
19. S. P. Odintsov, “Atomless ideals of constructive Boolean algebras”, Algebra Logika, 23:3 (1984),  278–295  mathnet  mathscinet 1
2025
20. S. N. Artemov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, S. P. Odintsov, V. V. Rybakov, S. O. Speranski, V. B. Shehtman, V. F. Yun, “Larisa L'vovna Maksimova (obituary)”, Uspekhi Mat. Nauk, 80:3(483) (2025),  179–182  mathnet  mathscinet; Russian Math. Surveys, 80:3 (2025), 533–536  isi
2019
21. 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
22. 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
23. 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
24. 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. Answer Set Semantics and its Logical Aspects
S. P. Odintsov
Seminars "Proof Theory" and "Logic Online Seminar"
December 8, 2025 16:00   
2. Лекция 4. Алгебраические методы в неклассических логиках
S. P. Odintsov

November 2, 2023 16:00   
3. Лекция 3. Алгебраические методы в неклассических логиках
S. P. Odintsov

November 1, 2023 16:00   
4. Лекция 2. Алгебраические методы в неклассических логиках
S. P. Odintsov

October 26, 2023 16:00   
5. Лекция 1. Алгебраические методы в неклассических логиках
S. P. Odintsov

October 25, 2023 16:00   
6. Constructive logic N4 and connexive logic C: similarities and differences
S. P. Odintsov
Seminars "Proof Theory" and "Logic Online Seminar"
October 23, 2023 18:30   
7. Equations, fixed points, and nonclassical logics
S. P. Odintsov
Mathematical Colloquium of the Sobolev Institute of Mathematics
May 11, 2023 16:30
8. On constructive versions of independence-friendly logic
Sergei P. Odintsov
Logical Perspectives 2018
May 18, 2018 17:50   
9. $\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, 2026