Sobolev Institute of Mathematics
, Laboratory of Computability Theory and Applied Logic
4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia
bazhenov [at] math.nsc.ru
Ph.D. in Mathematical Logic, Algebra and Number Theory; Sobolev Institute of Mathematics
Thesis: Levels of autostability for Boolean algebras
Thesis Supervisor: Sergey Goncharov
B.Sc. in Mathematics, Novosibirsk State University
My profiles: MathSciNet, Google Scholar, ResearchGate, Math-Net.ru.
My research deals mainly with the following topics of computable model theory:
- effective categoricity for computable structures,
- autostability relative to strong constructivizations (decidable categoricity) for decidable structures,
- computability-theoretic properties of Boolean algebras with distinguished endomorphisms.