Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Stukachev, Stukachov, Stukachyov, Alexey Ilich
Stukachev, Stukachov, Stukachyov, Alexey Ilich
Associate professor
Candidate of physico-mathematical sciences
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
UDC: 510.5
MSC: 03D45

Subject:

mathematical logic. computability theory, model theory, generalized computability, mathematical linguistics
   
Main publications:
  1. Alexey Stukachev, “Effective model theory: an approach via Σ-definability”, Lecture Notes in Logic, 41 (2013), 164-197

https://www.mathnet.ru/eng/person28925
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/624024
https://orcid.org/0000-0002-4530-1961
https://www.scopus.com/authid/detail.url?authorId=23092343800

Publications in Math-Net.Ru Citations
2024
1. A. S. Burnistov, A. I. Stukachev, “Computable functionals of finite types in Montague semantics”, Sib. Èlektron. Mat. Izv., 21:2 (2024),  1460–1472  mathnet
2022
2. A. S. Burnistov, A. I. Stukachev, “Inner constructivizability of functional structures”, Algebra Logika, 61:1 (2022),  23–41  mathnet; Algebra and Logic, 61:1 (2022), 16–29
2021
3. A. I. Stukachev, “Interval extensions of orders and temporal approximation spaces”, Sibirsk. Mat. Zh., 62:4 (2021),  894–910  mathnet  elib; Siberian Math. J., 62:4 (2021), 730–741  isi  scopus 2
2017
4. A. I. Stukachev, “Processes and structures on approximation spaces”, Algebra Logika, 56:1 (2017),  93–109  mathnet  mathscinet; Algebra and Logic, 56:1 (2017), 63–74  isi  scopus 1
2016
5. A. I. Stukachev, “Generalized hyperarithmetical computability over structures”, Algebra Logika, 55:6 (2016),  769–799  mathnet; Algebra and Logic, 55:6 (2017), 507–526  isi  scopus 3
2014
6. A. I. Stukachev, “Properties of $s\Sigma$-reducibility”, Algebra Logika, 53:5 (2014),  625–642  mathnet  mathscinet; Algebra and Logic, 53:5 (2014), 405–417  isi  scopus 1
7. A. I. Stukachev, “On quasiregular structures with computable signatures”, Sib. Èlektron. Mat. Izv., 11 (2014),  444–450  mathnet 2
2010
8. A. I. Stukachev, “$\Sigma$-definability of uncountable models of $c$-simple theories”, Sibirsk. Mat. Zh., 51:3 (2010),  649–661  mathnet  mathscinet  zmath; Siberian Math. J., 51:3 (2010), 515–524  isi  scopus 5
2009
9. A. I. Stukachev, “A jump inversion theorem for the semilattices of $\Sigma$-degrees”, Sib. Èlektron. Mat. Izv., 6 (2009),  182–190  mathnet  mathscinet; Siberian Advances in Mathematics, 20:1 (2010), 68–74 21
2008
10. A. I. Stukachev, “Degrees of presentability of structures. II”, Algebra Logika, 47:1 (2008),  108–126  mathnet  mathscinet  zmath; Algebra and Logic, 47:1 (2008), 65–74  isi  scopus 13
2007
11. A. I. Stukachev, “Degrees of presentability of structures. I”, Algebra Logika, 46:6 (2007),  763–788  mathnet  mathscinet  zmath  elib; Algebra and Logic, 46:6 (2007), 419–432  isi  elib  scopus 23
2005
12. A. I. Stukachev, “On inner constructivizability of admissible sets”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 5:1 (2005),  69–76  mathnet 1
2004
13. A. I. Stukachev, “$\Sigma$-Definability in Hereditarily Finite Superstructures and Pairs of Models”, Algebra Logika, 43:4 (2004),  459–481  mathnet  mathscinet  zmath; Algebra and Logic, 43:4 (2004), 258–270  scopus 7
2002
14. A. I. Stukachev, “$\Sigma$-Admissible Families over Linear Orders”, Algebra Logika, 41:2 (2002),  228–252  mathnet  mathscinet  zmath; Algebra and Logic, 41:2 (2002), 127–139  scopus 6

Organisations