Affiliation
Address
Position
E-mail
 
 
Sobolev Institute of Mathematics, Laboratory of Computability Theory and Applied Logic
4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia
Research Fellow
bazhenov@math.nsc.ru
Education
November 2014
Ph.D. in Mathematical Logic, Algebra and Number Theory; Sobolev Institute of Mathematics,
thesis: Levels of autostability for Boolean algebras [pdf in Russian],
thesis supervisor: Sergey Goncharov.
 
June 2012
M.Sc. in Applied Mathematics and Informatics, Novosibirsk State University
 
June 2010
B.Sc. in Mathematics, Novosibirsk State University

My profile on Math-Net.ru.

My research deals mainly with the following topics of computable model theory:

  • autostability relative to strong constructivizations (decidable categoricity) for decidable structures,
  • effective categoricity for Boolean algebras,
  • computability-theoretic properties of Boolean algebras with distinguished endomorphisms.