Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Shabunin, Leonid Vasil'evich

Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 10

Number of views:
This page:414
Abstract pages:1493
Full texts:635
Associate professor
Doctor of physico-mathematical sciences (2000)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: mathematical logic, discrete mathematics, algebra, computer science.
UDC: 510.6

Subject:

Mathematical logic, discrete mathematics, algebra, computer science.

   
Main publications:
  • Shabunin L. V. Teorema vlozheniya dlya mnogoobrazii Kantora // Algebra i logika, 2001, 40:3, 352–369.
  • Shabunin L. V. Ob elementarnoi ekvivalentnosti svobodnykh algebr mnogoobrazii Kantora // Algebra i logika, 1999, 38:2, 228–248.
  • Shabunin L. V. Ob elementarnoi ekvivalentnosti svobodnykh kvazigrupp // Fundament. i prikl. matem., 1999, 5:3, 885–901.
  • Shabunin L. V. O konechno-opredelennykh i svobodnykh algebrakh mnogoobrazii Kantora // Sib. matem. zhurn., 1997, 38:2, 450–462.
  • Shabunin L. V. Razreshimost elementarnykh teorii nekotorykh konechno-opredelennykh algebr // Algebra i logika, 1991, 30:4, 457–477.
  • Shabunin L. V. Razreshimost teorii konechno-opredelennykh kvazigrupp iz R-mnogoobrazii kvazigrupp // Sib. matem. zhurn., 1991, 32:3, 201–211.
  • Shabunin L. V. Ob elementarnykh teoriyakh konechno-opredelennykh lup so svoistvom obratimosti // Diskret. matem., 1991, 3:4, 79–90.
  • Shabunin L. V. Razreshimost elementarnoi teorii konechnoopredelennoi kvazigruppy // Matem. zametki, 1990, 47:4, 138–146.
  • Shabunin L. V. Razreshimost elementarnykh teorii konechno-opredelennykh algebr mnogoobraziya algebr, zadannogo pustoi sistemoi tozhdestv // Matem. zametki, 1989, 45:5, 93–102.
  • Shabunin L. V. On the interpretation of combinators with weak reduction // J. Symbol. Log., 1983, 48:3, 558–563.
  • Shabunin L. V. Nekotorye massovye problemy ischislenii kombinatornoi logiki // Vestn. MGU, matem., mekhan., 1974, 6, 36–41.
  • Shabunin L. V. O neprotivorechivosti nekotorykh ischislenii kombinatornoi logiki // Vestn. MGU, matem., mekhan., 1971, 6, 71–75.

https://www.mathnet.ru/eng/person25761
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/194935

Publications in Math-Net.Ru Citations
2001
1. L. V. Shabunin, “The Embedding Theorem for Cantor Varieties”, Algebra Logika, 40:3 (2001),  352–369  mathnet  mathscinet  zmath; Algebra and Logic, 40:3 (2001), 194–204  scopus 1
1999
2. L. V. Shabunin, “On the elementary equivalence of free algebras in Cantor varieties”, Algebra Logika, 38:2 (1999),  228–248  mathnet  mathscinet
3. L. V. Shabunin, “On elementary equivalence of free quasigroups”, Fundam. Prikl. Mat., 5:3 (1999),  885–901  mathnet  mathscinet  zmath
1997
4. L. V. Shabunin, “On finitely presented and free algebras of Cantor varieties”, Sibirsk. Mat. Zh., 38:2 (1997),  450–462  mathnet  mathscinet  zmath; Siberian Math. J., 38:2 (1997), 389–400  isi 1
1992
5. L. V. Shabunin, “Decidability of the theories of some infinite, finitely presented quasigroups”, Izv. Vyssh. Uchebn. Zaved. Mat., 1992, no. 3,  74–79  mathnet  mathscinet  zmath; Russian Math. (Iz. VUZ), 36:3 (1992), 74–80
1991
6. L. V. Shabunin, “Decidability of the elementary theories of some finitely presented algebras”, Algebra Logika, 30:4 (1991),  457–476  mathnet  mathscinet 1
7. L. V. Shabunin, “Elementary theories of finitely presented loops with the invertibility property”, Diskr. Mat., 3:4 (1991),  79–90  mathnet  mathscinet  zmath
8. L. V. Shabunin, “On decidability of theories of finitely generated quasigroups in $R$-varieties of groups”, Sibirsk. Mat. Zh., 32:3 (1991),  201–211  mathnet  mathscinet  zmath; Siberian Math. J., 32:3 (1991), 522–532  isi
1990
9. L. V. Shabunin, “Decidability of the elementary theory of a finitely presented quasigroup”, Mat. Zametki, 47:4 (1990),  138–146  mathnet  mathscinet  zmath; Math. Notes, 47:4 (1990), 408–414  isi
1989
10. L. V. Shabunin, “Decidability of elementary theories of finitely presented algebras of the variety of algebras defined by the empty system of identities”, Mat. Zametki, 45:5 (1989),  93–102  mathnet  mathscinet  zmath; Math. Notes, 45:5 (1989), 412–419  isi

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